alexanderskulikov / circuit_improvement
☆3Updated last week
Related projects ⓘ
Alternatives and complementary repositories for circuit_improvement
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 6 months ago
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆11Updated last month
- ☆11Updated 3 years ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆9Updated last week
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆13Updated 2 months ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 5 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆20Updated last year
- A high-performance implementation of the IC3/PDR algorithm in Rust.☆15Updated last week
- Regular Invariant Generator and SMTLIB2 code transformer☆12Updated 2 years ago
- ☆14Updated 2 years ago
- Python version of tools to work with AIG formatted files☆10Updated 5 months ago
- BTOR2 MLIR project☆16Updated 9 months ago
- Egraphs Modulo Theories☆14Updated 3 weeks ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated last year
- ☆15Updated last year
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆42Updated 4 years ago
- Cube-and-Conquer SAT solver☆31Updated last year
- ☆15Updated 2 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆23Updated 11 months ago
- FPGA synthesis tool powered by program synthesis☆38Updated last month
- Solver for Constrained Horn Clauses☆34Updated this week
- ☆15Updated 8 months ago
- ESBMC-GPU is a context-bounded model checker based on the satisfiability modulo theories (SMT) to check for data race, deadlock, pointer …☆8Updated 7 years ago
- AE-solver and Skolemizer☆18Updated 11 months ago
- ☆12Updated last year
- A model-based API Fuzzer for SMT Solvers.☆11Updated this week
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated last year
- PolyGen is a code generator for the polyhedral model, written and proved in Coq.☆10Updated 4 years ago
- A hardware model checker for hyperproperties☆18Updated 5 months ago