philzook58 / eggmtLinks
Egraphs Modulo Theories
☆15Updated 2 weeks ago
Alternatives and similar repositories for eggmt
Users that are interested in eggmt are comparing it to the libraries listed below
Sorting:
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Updated 3 months ago
- ☆11Updated 11 months ago
- Symbolic Geometric Algebra with E-Graphs☆19Updated last year
- Refreshing automation for inductive equational proofs using e-graphs☆20Updated 11 months ago
- Automatically generate a compiler using equality saturation☆30Updated last year
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆16Updated 3 years ago
- ☆16Updated 3 years ago
- ☆16Updated last year
- ☆26Updated last week
- Connecting bv_decide to SMTLIB.☆13Updated last week
- LLVM support for the lean theorem prover☆48Updated 3 years ago
- Armv8 Native Code Symbolic Simulator in Lean☆84Updated 6 months ago
- A fast and certifying solver for quantified Boolean formulas.☆27Updated last month
- Tools for manipulating CHC and related files☆15Updated 2 years ago
- A Flexible and Efficient Proof Checker for SMT Solvers☆25Updated this week
- The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials☆20Updated 2 months ago
- E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC25)☆14Updated this week
- ☆14Updated 4 years ago
- egraph on top of sqlite☆11Updated 3 years ago
- fast probabilistic symmetry detection on graphs☆15Updated this week
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆24Updated 2 years ago
- Public reference documents for the SMT-LIB standard☆17Updated last month
- Tiny verified SAT-solver☆28Updated 3 years ago
- Tons of Inductive Problems: The Benchmarks☆26Updated last year
- A minimal development of SSA theory☆145Updated this week
- Cyclic theorem prover for equalitional reasoning using egraphs☆26Updated last year
- sketches for egg: a flexible, high-performance e-graph library☆27Updated 3 months ago
- egraph <-> json☆14Updated 9 months ago
- Schedule for ArtOfSAT☆10Updated last year
- Formalization of C++ for verification purposes.☆81Updated last week