doi: 10.5281/zenodo.19055645
Artifact for PLDI '26 paper "Equality Saturation for Quantum Circuit Optimization".