semi-persistent-egraph
Semi-persistent equality saturation engine with e-matching, rewrite scheduling, and proof logging
View on Github
Activity
- Latest release
- 2w ago
- Total releases
- 3
- Cadence
- ~2 months
- Last 12 months
- 3
Reach
- Downloads
- 102
- Stars
- 16
Details
- License
- Apache-2.0
- First release
- Apr 21, 2026
Releases