A different approach to an E-graph library
-
Updated
Oct 9, 2024 - Rust
A different approach to an E-graph library
easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once
Add a description, image, and links to the e-graph topic page so that developers can more easily learn about it.
To associate your repository with the e-graph topic, visit your repo's landing page and select "manage topics."