Release v1.8.0: Usability Improvements

This release adds many usability improvements to the QMAP tool:

• mapped circuits now properly contain measurements at the end of the circuit
• an option is provided to extract the WCNF formulation from Z3 for use in other solvers
• a simple post-optimization is introduced that tried to cancel adjacent CNOTs and (parts of) SWAPs
• the search for the minimum number of SWAPs required for a particular permutation is terminated according to the number of allowed SWAPs per layer
• the exact mapper now allows to map to particular subgraphs of larger architectures (given as a set of qubits)
• gate counts of the mapped circuit are now reported slightly differently (SWAPs, etc. are no longer listed extra but appropriately reflected in the CNOT gate count)
• the output in verbose mode has been slightly improved for the exact mapper

What's Changed

• ✨ Add measurements to mapped circuit by @burgholzer in #50
• ✨ add option to dump WCNF file from exact mapper by @burgholzer in #51
• Subgraph mapping by @burgholzer in #52
• ⚡ Early termination in permutation search by @burgholzer in #55
• ✨ Pre- and Post-Mapping Optimizations by @burgholzer in #56
• 🚸 Small usability improvements by @burgholzer in #57
• Bump pypa/cibuildwheel from 2.4.0 to 2.5.0 by @dependabot in #54
• Bump extern/qfr from b8a1148 to b38fe5f by @dependabot in #53

Full Changelog: v1.7.0...v1.8.0