Benchpress quantum compilation
Fewer two-qubit gates on a heavy-hex device, with equivalence checked (placeholder)
ZX-calculus simplification and phase folding before routing #2
开放
子 Issue
Fewer two-qubit gates on a heavy-hex device, with equivalence checked (placeholder)
An approach to try, from the baseline. Claim it in your route's notes (issue: <n>).