Extraction Gym

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

Data

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!