philzook58 / eggmtLinks
Egraphs Modulo Theories
☆13Updated 3 months ago
Alternatives and similar repositories for eggmt
Users that are interested in eggmt are comparing it to the libraries listed below
Sorting:
- ☆11Updated 11 months ago
- Automatically generate a compiler using equality saturation☆30Updated last year
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Updated 2 months ago
- ☆16Updated 3 years ago
- Refreshing automation for inductive equational proofs using e-graphs☆20Updated 11 months ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- ☆23Updated this week
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆16Updated 3 years ago