TY  - RPRT
TI  - eqsat: An Equality Saturation Dialect for Non-destructive Rewriting
AU  - Jules Merckx
AU  - Alexandre Lopoukhine
AU  - Samuel Coward
AU  - Jianyi Cheng
AU  - Bjorn De Sutter
AU  - Tobias Grosser
PY  - 2025
UR  - https://arxiv.org/abs/2505.09363
ID  - 2505.09363
ER  -