search

egraphs-good / extraction-gym

benchmarking e-graph extraction
MIT License
24 stars 14 forks source link

Use extraction-gym as a library? #35

Open gussmith23 opened 2 months ago

gussmith23 commented 2 months ago

I'd love to be able to use extraction-gym as a library. Seems like it's nearly possible, just that there's no lib.rs. Is this planned at all?

oflatt commented 2 months ago

great idea!