search

egraphs-good / extraction-gym

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

Fix faster-greedy-dag extractor sometimes extracting cycles. #29

Closed TrevorHansen closed 6 months ago