Tom Peham
Tom Peham
### What's the problem this feature will solve? At the moment the Logicblocks library serves only as an abstraction layer to Z3 without adding much benefit. Since the Logicblocks library...
## Description This PR introduces a feature where stabilizer phases are ignored during Clifford synthesis. If that happens, the phases are corrected during a post-processing step. Fixes #326 ## Checklist:...
### What's the problem this feature will solve? Using QMAP to optimize Clifford subcircuits within a larger non-Clifford circuit requires manually extracting, optimizing, and re-adding the Clifford blocks. It would...
The current documentation doesn't include any information on options regarding limiting search space in the `compile` method. I suggest introducing a subsection regarding this topic in the *Exact Mapper* section...
### What's the problem this feature will solve? The current encoding for the CNOT-constraints in the Clifford synthesizer assumes all-to-all connectivity. Many quantum computing platforms only offer limited qubit connectivity....
### What's the problem this feature will solve? At the moment the gate set {H, S, I, X, Y, Z, CX} is hardcoded in the Clifford synthesis algorithm. It would...
### What's the problem this feature will solve? Pauli gates can always be pushed to the end of the circuit when synthesizing Clifford circuits. At the moment Pauli gates are...
### 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...
### What's the problem this feature will solve? The current implementation only allows for vertical splitting of circuits. Other decomposition schemes (like horizontal decompositions) have to be done manually before...
### What's the problem this feature will solve? At the moment, some preprocessing optimization passes fail when dealing with `QuantumComputation`s involving `SymbolicOperation`s. Many (if not all) of the optimization passes...