genieacs / espresso-iisojs
Implementation of Espresso-II method for heuristic minimization of single output boolean functions
☆27Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for espresso-iisojs
- Espresso heuristic logic minimizer made C++20 Windows 10 compatible - University of California, Berkeley☆46Updated 8 months ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆41Updated last year
- The HW-CBMC and EBMC Model Checkers for Verilog☆61Updated this week
- A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one☆44Updated last month
- AIGER And-Inverter-Graph Library☆61Updated 5 months ago
- Qute: a dependency learning QBF solver.☆12Updated 3 months ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆40Updated last year
- C++ truth table library☆51Updated 7 months ago
- The glucose SAT solver☆81Updated 2 weeks ago
- py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).☆41Updated 8 months ago
- A toolbox for knowledge compilation☆21Updated 2 weeks ago
- SAT Solver SATCH☆108Updated 2 years ago
- A tool for synthesizing Verilog programs☆42Updated this week
- A Node.js bridge to the Espresso heuristic logic minimizer original C code☆40Updated last year
- Implementation of multi-core (binary) decision diagrams☆67Updated 5 months ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆38Updated 2 years ago
- A hardware model checker for hyperproperties☆18Updated 5 months ago
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆24Updated 5 years ago
- The opensmt solver☆78Updated this week
- ☆33Updated 4 months ago
- BTOR2 MLIR project☆16Updated 10 months ago
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 6 months ago
- ☆15Updated 8 months ago
- C++ parsing library for simple formats used in logic synthesis and formal verification☆35Updated 4 months ago
- CoreIR Symbolic Analyzer☆61Updated 4 years ago
- C/C++ Source-to-Source Tool based on Clang☆71Updated this week
- Pono: A flexible and extensible SMT-based model checker☆82Updated last month
- Reads a state transition system and performs property checking☆76Updated 2 weeks ago
- The Standard Interface for Incremental Satisfiability Solving☆48Updated 2 years ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆10Updated 3 weeks ago