alexanderskulikov / circuit_improvement
☆5Updated 2 months ago
Alternatives and similar repositories for circuit_improvement:
Users that are interested in circuit_improvement are comparing it to the libraries listed below
- Python version of tools to work with AIG formatted files☆10Updated 9 months ago
- Random Generator of Btor2 Files☆9Updated last year
- ☆11Updated 7 years ago
- ☆14Updated 2 years ago
- ☆15Updated last year
- AMulet 2. - A better AIG Multiplier Examination Tool☆23Updated 2 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆12Updated 2 years ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆12Updated 5 months ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆20Updated last year
- ☆12Updated 2 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- Pono: A flexible and extensible SMT-based model checker☆92Updated 2 weeks ago
- Official repository for paper "Goal-Aware Neural SAT Solver"☆15Updated last year
- ☆11Updated 3 years ago
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆22Updated 2 years ago
- E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)☆27Updated 7 months ago
- ☆11Updated 8 months ago
- Logic Synthesis System from UC Berkeley (Unofficial Distribution)☆15Updated 5 years ago
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆13Updated this week
- BTOR2 MLIR project☆23Updated last year
- Egraphs Modulo Theories☆13Updated this week
- A framework to ease parallelization of sequential SAT solvers☆16Updated 4 months ago
- ☆17Updated 7 months ago
- ☆12Updated last year
- ☆34Updated 7 months ago