/extraction-gym

benchmarking e-graph extraction

Primary LanguageRustMIT LicenseMIT

Stargazers