philzook58 / eggmt
Egraphs Modulo Theories
☆13Updated last month
Alternatives and similar repositories for eggmt:
Users that are interested in eggmt are comparing it to the libraries listed below
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆11Updated last week
- ☆11Updated 9 months ago
- Automatically generate a compiler using equality saturation☆28Updated last year
- ☆16Updated 3 years ago
- fast probabilistic symmetry detection on graphs☆14Updated 3 weeks ago
- Refreshing automation for inductive equational proofs using e-graphs☆19Updated 8 months ago
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆15Updated 3 years ago
- Interactive visualizer for e-graphs☆21Updated 3 months ago
- ☆11Updated 7 years ago
- Tons of Inductive Problems: The Benchmarks☆26Updated last year
- ☆16Updated last year
- Solver for Constrained Horn Clauses☆37Updated this week
- Tools for manipulating CHC and related files☆14Updated last year
- GoNative project: formal machines models in Coq☆36Updated 7 years ago
- Verified, Incremental, Binary Editing with Synthesis☆54Updated 2 years ago
- Random Generator of Btor2 Files☆10Updated last year
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆16Updated last week
- A Fast Floating-Point Satisfiability Solver☆27Updated 6 years ago
- ☆14Updated 4 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- Formalization of C++ for verification purposes.☆80Updated this week
- Armv8 Native Code Symbolic Simulator in Lean☆77Updated 3 months ago
- egraph on top of sqlite☆11Updated 3 years ago
- A monadic library for symbolic evaluation☆58Updated last month
- BTOR2 MLIR project☆25Updated last year
- LLVM support for the lean theorem prover☆46Updated 3 years ago
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆11Updated 6 months ago
- A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4☆14Updated 2 months ago
- An awesome list of e-graph resources☆145Updated last month
- Symbolic Geometric Algebra with E-Graphs☆19Updated last year