Alternatives and similar repositories for Quine-McCluskey

Users that are interested in Quine-McCluskey are comparing it to the libraries listed below

• eytans / easter-egg
  easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once
  ☆13Updated 6 months ago
• berkeley-abc / mvsis
  A copy of the latest version of MVSIS
  ☆11Updated 4 years ago
• mgudemann / iimc
  ☆14Updated 7 years ago
• Gigantua / Espresso
  Espresso heuristic logic minimizer made C++20 Windows 10 compatible - University of California, Berkeley
  ☆57Updated last year
• yaohsiaopid / rtl2uspec
  ☆11Updated 3 months ago
• lsils / kitty
  C++ truth table library
  ☆61Updated 2 months ago
• temelmertcan / multgen
  Integer Multiplier Generator for Verilog
  ☆23Updated 3 months ago
• dreylago / logicmin
  Logic Minimization in Python
  ☆24Updated last year
• ymherklotz / vericert
  A formally verified high-level synthesis tool based on CompCert and written in Coq.
  ☆93Updated last month
• runekrauss / freddy
  A design automation framework to engineer decision diagrams yourself
  ☆22Updated last week
• z11i / pysat
  Simple SAT solver with CDCL implemented in Python
  ☆18Updated 2 years ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆36Updated 2 years ago
• msoeken / cirkit
  A circuit toolkit
  ☆105Updated 5 years ago
• adrianopolus / probSAT
  The probSAT SAT Solver
  ☆23Updated 2 years ago
• reactive-systems / MCHyper
  A hardware model checker for hyperproperties
  ☆18Updated last year
• chc-comp / chc-tools
  Tools for manipulating CHC and related files
  ☆15Updated 2 years ago
• UCSBarchlab / owl
  Control Logic Synthesis: Drawing the Rest of the OWL
  ☆13Updated last year
• lijwen2748 / simplecar
  ☆15Updated 2 years ago
• whaaswijk / percy
  An advanced header-only exact synthesis library
  ☆28Updated 2 years ago
• CedarEDA / CedarSim.jl
  Analog Circuit Simulator
  ☆23Updated last year
• ekiwi / open-source-formal-verification-for-chisel
  ☆10Updated 4 years ago
• shaowei-cai-group / ParKissat-RS
  Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)
  ☆25Updated 2 years ago
• niklasso / tip
  A model checker based on SAT solving and induction
  ☆14Updated 10 years ago
• fmozafari / angel
  C++ Library for Quantum State Preparation (QSP)
  ☆12Updated 2 years ago
• saleh1204 / sis
  Logic Synthesis System from UC Berkeley (Unofficial Distribution)
  ☆15Updated 6 years ago
• epiqc / RKQC
  RKQC is a compiler for reversible logic circuitry. The framework has been developed to compile high level circuit descriptions down to "Q…
  ☆17Updated 9 years ago
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated last year
• jar-ben / mustool
  ☆15Updated 2 years ago
• lsils / bill
  C++ header-only reasoning library
  ☆17Updated last year
• mohdomama / Quine-McCluskey
  A Python/C++ implementation of Quine McCluskey(Tabulation) method.
  ☆12Updated 7 years ago