philzook58 / eggmt
Egraphs Modulo Theories
☆14Updated last month
Related projects ⓘ
Alternatives and complementary repositories for eggmt
- Automatically generate a compiler using equality saturation☆26Updated 7 months ago
- ☆15Updated 2 years ago
- A minimal development of SSA theory☆88Updated this week
- An awesome list of e-graph resources☆105Updated last week
- fast probabilistic symmetry detection on graphs☆14Updated last week
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 6 months ago
- Solver for Constrained Horn Clauses☆34Updated this week
- ☆13Updated 4 years ago
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆14Updated 3 years ago
- A (WIP) equality saturation tactic for Lean based on egg.☆41Updated last week
- Cyclic theorem prover for equalitional reasoning using egraphs☆24Updated last year
- Tons of Inductive Problems: The Benchmarks☆24Updated last year
- Libraries useful for Dafny programs☆43Updated last week
- Symbolic Geometric Algebra with E-Graphs☆18Updated last year
- ☆33Updated this week
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- Interactive visualizer for e-graphs☆18Updated last week
- egraph on top of sqlite☆12Updated 2 years ago
- CAQE is a solver for quantified Boolean formulas☆30Updated last year
- Armv8 Native Code Symbolic Simulator in Lean☆63Updated this week
- IC3PO: IC3 for Proving Protocol Properties☆25Updated 2 months ago
- sketches for egg: a flexible, high-performance e-graph library☆25Updated 5 months ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆38Updated 2 years ago
- ☆13Updated last year
- FPGA synthesis tool powered by program synthesis☆38Updated this week
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated last week
- ☆11Updated this week
- Tiny verified SAT-solver☆28Updated 2 years ago
- Verified, Incremental, Binary Editing with Synthesis☆51Updated last year
- Gallina to Bedrock2 compilation toolkit☆50Updated last month