tpircher-zz / quine-mccluskeyLinks
A python implementation of the Quine McCluskey algorithm.
☆53Updated 3 years ago
Alternatives and similar repositories for quine-mccluskey
Users that are interested in quine-mccluskey are comparing it to the libraries listed below
Sorting:
- Python EDA☆340Updated last year
- Implementation of multi-core (binary) decision diagrams☆83Updated 4 months ago
- CUDD Decision Diagram Package☆150Updated last month
- A circuit toolkit☆106Updated 5 years ago
- Logic Minimization in Python☆25Updated last year
- Espresso heuristic logic minimizer made C++20 Windows 10 compatible - University of California, Berkeley☆59Updated last year
- The HW-CBMC and EBMC Model Checkers for Verilog☆101Updated this week
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆215Updated last month
- AIGER And-Inverter-Graph Library☆94Updated this week
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆139Updated last month
- A minimalistic and high-performance SAT solver☆26Updated last year
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated 2 years ago
- Reads a state transition system and performs property checking☆89Updated 4 months ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated 2 years ago
- CoreIR Symbolic Analyzer☆74Updated 5 years ago
- The glucose SAT solver☆132Updated 2 weeks ago
- A toolkit for SAT-based prototyping in Python☆445Updated 3 weeks ago
- SAT Solver SATCH☆120Updated 3 years ago
- C++ truth table library☆64Updated 5 months ago
- A generic parser and tool package for the BTOR2 format.☆45Updated 3 months ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14Updated 3 years ago
- Lingeling SAT Solver☆106Updated last year
- RISC-V emulator in python☆63Updated last year
- Hardware Formal Verification Tool☆83Updated this week
- py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).☆49Updated 3 weeks ago
- CMurphi mirror: http://mclab.di.uniroma1.it/site/index.php/software/18-cmurphi☆11Updated 9 years ago
- A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one☆83Updated 3 weeks ago
- An advanced header-only exact synthesis library☆30Updated 3 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated 2 years ago
- An advanced circuit-based sat solver☆36Updated 10 months ago