add a ZX-calculus transformer to Cirq #6585
Description
Is your feature request related to a use case or problem? Please describe.
I would like to experiment with various circuit optimisation routines (which are already implemented in PyZX) using Cirq.
Describe the solution you'd like
A transformer (maybe under contrib) which uses the PyZX library for optimisation. I've mocked up what such a thing might look like here, but the current version isn't able to handle all transformations of Cirq circuits into PyZX format yet. (In particular, the conversion cannot at the moment handle arbitrary angles for certain types of gates.)
[optional] Describe alternatives/workarounds you've considered
It could also stay as an independent repo/project, as it is now. Mostly I'm interested in knowing whether other people (Cirq maintainers or members of the community) might be interested in helping to write this, or to use it.
[optional] Additional context (e.g. screenshots)
I spoke about this at the last Cirq Cync (Apr. 24, 2024).
What is the urgency from your perspective for this issue? Is it blocking important work?
P3 - I'm not really blocked by it, it is an idea I'd like to discuss / suggestion based on principle