Benchpress quantum compilation
Fewer two-qubit gates on a heavy-hex device, with equivalence checked (placeholder)
Take in layout-annealing #4
Merged
Pull request successfully merged.
Fewer two-qubit gates on a heavy-hex device, with equivalence checked (placeholder)
Brings layout-annealing's change into zx-plus-layout, so the check scores both together.