search

egraphs-good / eggcc

MIT License
51 stars 11 forks source link

Convert tree exprs to egglog encoding #329

Closed oflatt closed 9 months ago