Graph-based simplification of quantum circuits via ZX-calculus

[Fe-r-oz]

Hi, Stefan!

The paper Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus suggests that Clifford and Clifford+T circuits can be simplified via ZX-Calculus. The Python tool from this paper: https://github.com/zxcalc/pyzx

Examples of clifford simplification from ZXCalculus.jl inspired from pyxz.

What are your thoughts on QuantumCliffordZXCalculusExt module? Does this fit into the bigger picture?

[Krastanov]

It fits in the bigger picture, but any extensions should just wrap around external ZXcalculus libraries, not develop anything as part of this library. And we first need a usecase, before we work on such extensions.