Equality-saturation substrate — term IR, e-graph engine, certificates, law bank, cost algebra, orchestrator.
-
Updated
Oct 25, 2026 - Python
Equality-saturation substrate — term IR, e-graph engine, certificates, law bank, cost algebra, orchestrator.
To associate your repository with the program-optimization topic, visit your repo's landing page and select "manage topics."