A suite of benchmarks to test e-graph extraction algorithms.
Add your algorithm in src/extract and then add a line in src/main.rs.
To run, type make.
If you need to enable more features, do
make FEATURES=my-feature,my-other-feature
Please add data! It's just a JSON! See the data/ directory for examples.
Make sure all root eclass ids are canonical!
Go check out the egraph-serialize repo to see how to make the format!