Dryad dataset: Code and data from: Quantum algorithms for equational reasoning

https://datadryad.org/dataset/doi:10.5061/dryad.6m905qgd4