Mqt.qmap

This release mostly updates or introduces internal code quality measures.
It also updates Z3 to the latest version and introduces an option to disable the inclusion of measurements in the returned circuits.

What's Changed
* 📝 Initialize Documentation on ReadTheDocs by burgholzer in https://github.com/cda-tum/qmap/pull/98
* 🐛 Fix Editable Installations by burgholzer in https://github.com/cda-tum/qmap/pull/100
* ✨ Add pre-commit configuration by burgholzer in https://github.com/cda-tum/qmap/pull/101
* 🔧 Proper Versioning in Deploy CI by burgholzer in https://github.com/cda-tum/qmap/pull/104
* 🔧 Add in-progress cancellation to CI workflows by burgholzer in https://github.com/cda-tum/qmap/pull/108
* 🔧 Update CodeQL configuration by burgholzer in https://github.com/cda-tum/qmap/pull/107
* ⬆️ Update Z3 from version `4.8.17` to `4.11.2` by burgholzer in https://github.com/cda-tum/qmap/pull/109
* ✨ Optionally disable measurements by burgholzer in https://github.com/cda-tum/qmap/pull/103


**Full Changelog**: https://github.com/cda-tum/qmap/compare/v1.10.0...v1.10.1

This release marks the addition of the [LogicBlocks](https://github.com/IsFairy/LogicBlocks) submodule in QMAP as a drop-in replacement for Z3 that abstracts away most of the technical aspects related to Z3 (see #79 for more details on this change).

Please report any bugs that you encounter by [creating an issue](https://github.com/cda-tum/qmap/issues). Make sure to check whether the problem also occurs using previous versions (specifically `v1.9.1`). This helps in quickly isolating the problem.

This minor release contains almost only dependency updates. The most notable change is the addition of wheels for Python 3.11 (introduced by 93).
This also marks the last release before the LogicBlocks project (https://github.com/IsFairy/LogicBlocks) is being added to QMAP in #79.

What's Changed
* Update qiskit-terra requirement from ~=0.20.2 to >=0.20.2,<0.22.0 by dependabot in https://github.com/cda-tum/qmap/pull/81
* Bump extern/qfr from `2c0c3d6` to `091d869` by dependabot in 82, 83, 86, 88, 91, 94, 95
* Bump pypa/cibuildwheel from 2.7.0 to 2.9.0 by dependabot in https://github.com/cda-tum/qmap/pull/84, https://github.com/cda-tum/qmap/pull/87, https://github.com/cda-tum/qmap/pull/93

**Full Changelog**: https://github.com/cda-tum/qmap/compare/v1.9.0...v1.9.1

This release brings improved and tighter integration with Qiskit.
First of all, QMAP now natively supports mapping to Qiskit `Backend`s (such as `FakeLondon`, etc.).
In addition, QMAP now returns a Qiskit `QuantumCircuit` that explicitly contains layout information (how the original circuit's logical qubits are initially assigned to the device's physical ones) and measurements (indicating the output permutation of logical qubits).

python
from mqt import qmap
from qiskit import QuantumCircuit
from qiskit.providers.fake_provider import FakeLondon

qc = QuantumCircuit(3)
qc.h(0)
qc.cx(0, 1)
qc.cx(0, 2)
qc.measure_all()

qc_mapped, results = qmap.compile(qc, arch=FakeLondon())


This allows to conveniently verify the correctness of the resulting circuits using our [`mqt.qcec`](https://github.com/cda-tum/qcec) tool.

python
from mqt import qcec

result = qcec.verify(qc, qc_mapped)
print(result.equivalence())


Finally, QMAP is now also capable of parsing calibration data/properties from Qiskit `Backend`s or from Qiskit `BackendProperties`/`Target` objects themselves. While this information is currently not used in the mapping itself, it serves as a preparation for future developments.
When providing such properties, an architecture need not be defined necessarily as it is deduced from the calibration data.

python
from mqt import qmap
from qiskit import QuantumCircuit
from qiskit.providers.fake_provider import FakeLondon

qc = QuantumCircuit(3)
qc.h(0)
qc.cx(0, 1)
qc.cx(0, 2)
qc.measure_all()

props = FakeLondon().properties()
qc_mapped, results = qmap.compile(qc, arch=None, calibration=props)



What's Changed
* Architecture extensions by IsFairy in https://github.com/cda-tum/qmap/pull/62
* 🔧 Small Infrastructure Update by burgholzer in https://github.com/cda-tum/qmap/pull/74
* ✨ Native Support for Qiskit Backends by burgholzer in https://github.com/cda-tum/qmap/pull/75
* ✨ Portable Layout Information by burgholzer in https://github.com/cda-tum/qmap/pull/76
* 🐛 Fixed a bug in the Qiskit `Layout` import (cda-tum/qfr133)
* 🐛 Fixed a bug in the CNOT cancellation optimization pass (cda-tum/qfr134)
* 🐛 Fixed a bug where measurements in the heuristic mapper were not appended correctly (76)

**Full Changelog**: https://github.com/cda-tum/qmap/compare/v1.8.2...v1.9.0

What's Changed
* add rigetti agave and aspen by lucasberent in https://github.com/cda-tum/qmap/pull/66

Dependency Updates
* Bump extern/qfr from `554a6e4` to `23a94fc` by dependabot in https://github.com/cda-tum/qmap/pull/63
* Bump pypa/cibuildwheel from 2.5.0 to 2.6.0 by dependabot in https://github.com/cda-tum/qmap/pull/64
* Bump DoozyX/clang-format-lint-action from 0.13 to 0.14 by dependabot in https://github.com/cda-tum/qmap/pull/67
* Bump extern/qfr from `23a94fc` to `0f2d1c2` by dependabot in https://github.com/cda-tum/qmap/pull/68

New Contributors
* lucasberent made their first contribution in https://github.com/cda-tum/qmap/pull/66

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

MaxSAT Evaluation 2022
Additionally, benchmarks submitted to the [2022 MaxSAT Evaluation](https://maxsat-evaluations.github.io/2022/) can be found in the `zip` file attached to this release. The WCNF instances were generated using the exact mapper of QMAP using benchmark circuits from [MQT Bench](https://www.cda.cit.tum.de/mqtbench/).

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