Benchpress quantum compilation
Fewer two-qubit gates on a heavy-hex device, with equivalence checked (placeholder)
SABRE routing with a deeper look-ahead and more trials #1
Open
Sub-issues
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>).