✨ Implement Aaronson-Gottesmann Canonical Form Synthesis #321
Labels
enhancement
Anything related to improvements of the existing library
good first issue
Good for newcomers
What's the problem this feature will solve?
At the moment the heuristic synthesizer for Clifford circuits can only be called with a given given circuit. It would be nice if tableaus could also be synthesized with the heuristic.
Describe the solution you'd like
If only a tableau is given as an input to the synthesis, a non-optimal circuit should be synthesized with the AG algorithm before handing the circuit over to the heuristic optimizer.
The text was updated successfully, but these errors were encountered: