E egraphs-good.github.io Egg: Using egraphs to build program optimizers and synthesizers 2 points SerCe 16 days ago 0 comments
