philzook58 / eggmt
Egraphs Modulo Theories
☆14Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for eggmt
- Automatically generate a compiler using equality saturation☆26Updated 7 months ago
- ☆15Updated 2 years ago
- An awesome list of e-graph resources☆94Updated 2 weeks ago
- A minimal development of SSA theory☆88Updated this week
- Solver for Constrained Horn Clauses☆34Updated this week
- Tons of Inductive Problems: The Benchmarks☆24Updated last year
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆38Updated 2 years ago
- ☆25Updated 5 months ago
- ☆13Updated 4 years ago
- Armv8 Native Code Symbolic Simulator in Lean☆62Updated this week
- GoNative project: formal machines models in Coq☆36Updated 7 years ago
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 6 months ago
- CAQE is a solver for quantified Boolean formulas☆30Updated last year
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆14Updated 3 years ago
- egraph on top of sqlite☆12Updated 2 years ago
- A (WIP) equality saturation tactic for Lean based on egg.☆39Updated this week
- ☆33Updated this week
- FPGA synthesis tool powered by program synthesis☆38Updated last month
- fast probabilistic symmetry detection on graphs☆12Updated last week
- Fuzz testing for Dafny☆13Updated 2 years ago
- Symbolic Geometric Algebra with E-Graphs☆18Updated last year
- BTOR2 MLIR project☆16Updated 9 months ago
- Verified, Incremental, Binary Editing with Synthesis☆50Updated last year
- benchmarking e-graph extraction☆34Updated last month
- Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation☆19Updated 11 months ago
- A Flexible and Efficient Proof Checker for SMT Solvers☆15Updated this week
- Interactive visualizer for e-graphs☆17Updated last week
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆12Updated this week
- Pono: A flexible and extensible SMT-based model checker☆80Updated 2 weeks ago