Egg: Using egraphs to build program optimizers and synthesizers

 (egraphs-good.github.io)

2 points | by SerCe 4 hours ago ago

No comments yet.