[tree in context] rule-based extraction

egraphs-good / eggcc

MIT License

51 stars 11 forks source link

Closed yihozhang closed 7 months ago

oflatt commented 7 months ago

closing because this is stale we might want to re-visit in the future