meelgroup / arjun
CNF minimizer and minimal independent set calculator
☆14Updated 2 months ago
Related projects: ⓘ
- Pono: A flexible and extensible SMT-based model checker☆68Updated this week
- Structured BVA☆29Updated 4 months ago
- AIGER And-Inverter-Graph Library☆57Updated 3 months ago
- A toolbox for knowledge compilation☆21Updated last month
- IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.☆51Updated 9 years ago
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆103Updated 3 weeks ago
- Reads a state transition system and performs property checking☆75Updated last week
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆40Updated 10 months ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated last year
- AMulet 2. - A better AIG Multiplier Examination Tool☆20Updated last year
- The HW-CBMC and EBMC Model Checkers for Verilog☆52Updated this week
- Cube-and-Conquer SAT solver☆30Updated last year
- CoreIR Symbolic Analyzer☆61Updated 3 years ago
- BTOR2 MLIR project☆16Updated 8 months ago
- A generic parser and tool package for the BTOR2 format.☆39Updated 2 weeks ago
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆24Updated 5 years ago
- SAT Solver SATCH☆105Updated last year
- Multi-core Decision Diagram (BDD/LDD) implementation☆41Updated 10 months ago
- A hardware model checker for hyperproperties☆18Updated 3 months ago
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆70Updated 3 weeks ago
- ☆15Updated 5 months ago
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆80Updated 2 weeks ago
- ☆44Updated 5 months ago
- C++ truth table library☆49Updated 5 months ago
- LibPoly is a C library for manipulating polynomials☆46Updated 2 months ago
- ☆48Updated 8 years ago
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆196Updated last week
- Approximate Model Counter☆70Updated 2 months ago
- ☆30Updated 2 months ago
- Assume-Guarantee REasoning Environment☆12Updated 2 weeks ago