Open alcides opened 1 year ago
https://github.com/riswords/quiche/blob/main/src/quiche/egraph.py
Is there a related paper?
POPL2021: https://egraphs-good.github.io
https://github.com/riswords/quiche/blob/main/src/quiche/egraph.py