Quantum Circuit Optimization

ZX-DB: A Graph Database for Quantum Circuit Simplification and Rewriting via the ZX-Calculus