Mqt.qmap

This release fixes some bugs that prevented custom encodings from working properly.

What's Changed
* Encoding fixes by IsFairy in https://github.com/cda-tum/qmap/pull/59
* Bump extern/qfr from `22528b3` to `554a6e4` by dependabot in https://github.com/cda-tum/qmap/pull/60
* Fix encodings by burgholzer in https://github.com/cda-tum/qmap/pull/61


**Full Changelog**: https://github.com/cda-tum/qmap/compare/v1.8.0...v1.8.1

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 https://github.com/cda-tum/qmap/pull/50
* ✨ add option to dump WCNF file from exact mapper by burgholzer in https://github.com/cda-tum/qmap/pull/51
* Subgraph mapping by burgholzer in https://github.com/cda-tum/qmap/pull/52
* ⚡ Early termination in permutation search by burgholzer in https://github.com/cda-tum/qmap/pull/55
* ✨ Pre- and Post-Mapping Optimizations by burgholzer in https://github.com/cda-tum/qmap/pull/56
* 🚸 Small usability improvements by burgholzer in https://github.com/cda-tum/qmap/pull/57
* Bump pypa/cibuildwheel from 2.4.0 to 2.5.0 by dependabot in https://github.com/cda-tum/qmap/pull/54
* Bump extern/qfr from `b8a1148` to `b38fe5f` by dependabot in https://github.com/cda-tum/qmap/pull/53

**Full Changelog**: https://github.com/cda-tum/qmap/compare/v1.7.0...v1.8.0

This release fixes several bugs:

- Circuits containing measurements and barriers could not be mapped due to the non-unitary nature of these gates
- A bug in the heuristic mapper prevented it from correctly tracking the number of additional gates
- Circuits containing only single-qubit gates could not be mapped by the exact mapper
- Execution was not properly halted whenever the exact mapper did not return a valid result (timeout or unsat)
- The search space limitation feature had a serious bug that prevented it from creating proper SAT instances in some cases
- If the exact mapper found a solution that requires no overhead, it still tried out every possible combination of possible subsets.
- `sx` and `sxdg` gates in `.qasm` files were not natively supported

In addition, this release modernizes the build and deployment configurations to be up-to-date with our other projects:

- the README is updated with the new TUM information
- the license is updated
- z3 has been updated to version 3.8.16
- versioning is now handled with `setuptools-scm`
- ninja is now used per default for building the python package

What Else Has Changed
* Bump actions/checkout from 2 to 3 by dependabot in https://github.com/cda-tum/qmap/pull/33
* Bump actions/cache from 2 to 3 by dependabot in https://github.com/cda-tum/qmap/pull/36
* Bump codecov/codecov-action from 2.1.0 to 3.0.0 by dependabot in https://github.com/cda-tum/qmap/pull/42
* Bump actions/upload-artifact from 2 to 3 by dependabot in https://github.com/cda-tum/qmap/pull/44
* Bump actions/download-artifact from 2 to 3 by dependabot in https://github.com/cda-tum/qmap/pull/43
* Bump codecov/codecov-action from 3.0.0 to 3.1.0 by dependabot in https://github.com/cda-tum/qmap/pull/47
* Bump github/codeql-action from 1 to 2 by dependabot in https://github.com/cda-tum/qmap/pull/49


**Full Changelog**: https://github.com/cda-tum/qmap/compare/v1.6.0...v1.7.0

This release marks the transition from the `JKQ` framework to the Munich Quantum Toolkit (MQT).

What's Changed
* Bump extern/qfr from `49f5923` to `2ab280b` by dependabot in https://github.com/cda-tum/qmap/pull/22
* Bump extern/qfr from `2ab280b` to `34b5811` by dependabot in https://github.com/cda-tum/qmap/pull/24
* Bump extern/qfr from `34b5811` to `dca7f1f` by dependabot in https://github.com/cda-tum/qmap/pull/25
* Bump extern/qfr from `dca7f1f` to `250e721` by dependabot in https://github.com/cda-tum/qmap/pull/28
* Bump extern/qfr from `250e721` to `6bb07d6` by dependabot in https://github.com/cda-tum/qmap/pull/29
* Bump actions/setup-python from 2 to 3 by dependabot in https://github.com/cda-tum/qmap/pull/31
* Rebranding to MQT by burgholzer in https://github.com/cda-tum/qmap/pull/30


**Full Changelog**: https://github.com/cda-tum/qmap/compare/v1.5.1...v1.6.0

What's Changed
* Portable wheels for Apple Silicon by burgholzer in https://github.com/iic-jku/qmap/pull/14
* Bump DoozyX/clang-format-lint-action from 0.12 to 0.13 by dependabot in https://github.com/iic-jku/qmap/pull/19
* Bump codecov/codecov-action from 1 to 2.1.0 by dependabot in https://github.com/iic-jku/qmap/pull/18
* Bump extern/qfr from `e7fcb02` to `49f5923` by dependabot in https://github.com/iic-jku/qmap/pull/20
* Compile flag and z3 dependency fixes by katringoogoo in https://github.com/iic-jku/qmap/pull/21

New Contributors
* dependabot made their first contribution in https://github.com/iic-jku/qmap/pull/19
* katringoogoo made their first contribution in https://github.com/iic-jku/qmap/pull/21

**Full Changelog**: https://github.com/iic-jku/qmap/compare/v1.5.0...v1.5.1

This release adds the functionality to limit the search space during optimal circuit mapping introduced in:

L. Burgholzer, S. Schneider, and R. Wille. *Limiting the Search Space in Optimal Quantum Circuit Mapping*. In *Asia and South Pacific Design Automation Conference (ASP-DAC)*, 2022.

Furthermore, it brings the following additions and changes:
- ♻️ refactored Python bindings that are now easier to use
- ⚡ actually enables -march=native -mtune=native for source builds via pip
- ⚡ setup.py now runs on as many threads as available
- 🏗️ switch to PEP 517 `pyproject.toml`
- 💚 switch cibuildwheel configuration to `pyproject.toml`
- 🚀 Python 3.10 wheels
- ⬆️ updates for all external submodules
- 📝 updated documentation