Benchpress quantum compilation
Fewer two-qubit gates on a heavy-hex device, with equivalence checked (placeholder)
ZX simplification with annealed layouts #3
Open
Sub-issues
Fewer two-qubit gates on a heavy-hex device, with equivalence checked (placeholder)
An approach to try, from zx-phase-folding. Claim it in your route's notes (issue: <n>).