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
- ☆11Updated 9 months ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆11Updated 3 weeks ago
- ☆16Updated 3 years ago
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆15Updated 3 years ago
- Automatically generate a compiler using equality saturation☆28Updated last year
- Refreshing automation for inductive equational proofs using e-graphs☆20Updated 9 months ago
- TriCera: a model checker for C programs☆24Updated last month
- Solver for Constrained Horn Clauses☆38Updated this week
- A Flexible and Efficient Proof Checker for SMT Solvers☆23Updated last week
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- ☆16Updated last year
- fast probabilistic symmetry detection on graphs☆14Updated last month
- Tons of Inductive Problems: The Benchmarks☆26Updated last year
- Armv8 Native Code Symbolic Simulator in Lean☆77Updated 4 months ago
- ☆35Updated last week
- BTOR2 MLIR project☆25Updated last year
- A fast and certifying solver for quantified Boolean formulas.☆27Updated 11 months ago
- Tools for manipulating CHC and related files☆14Updated 2 years ago
- Interactive visualizer for e-graphs☆21Updated 4 months ago
- egraph on top of sqlite☆11Updated 3 years ago
- ☆12Updated 7 years ago
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆11Updated 7 months ago
- Lean models of Rust libraries☆12Updated 7 months ago
- Random Generator of Btor2 Files☆10Updated last year
- CAQE is a solver for quantified Boolean formulas☆32Updated last year
- Separation Logic Proofs in Lean☆36Updated last month
- ☆19Updated this week
- Verifying encodings into propositional logic in Lean☆12Updated last year
- LLVM support for the lean theorem prover☆47Updated 3 years ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆40Updated last month