🎨 Do not rebuild MQT Core in tests (#714)

## Description

This PR changes the test setup to not rebuild MQT Core from source. 

Related to munich-quantum-toolkit/qcec#661

## Checklist:

- [x] The pull request only contains commits that are focused and
relevant to this change.
- [x] ~~I have added appropriate tests that cover the new/changed
functionality.~~
- [x] ~~I have updated the documentation to reflect these changes.~~
- [x] I have added entries to the changelog for any noteworthy
additions, changes, fixes, or removals.
- [x] I have added migration instructions to the upgrade guide (if
needed).
- [x] The changes follow the project's style guidelines and introduce no
new warnings.
- [x] The changes are fully tested and pass the CI checks.
- [x] I have reviewed my own code changes.

Author: denialhaag

.readthedocs.yaml

@@ -1,8 +1,11 @@
 version: 2
 
 formats:
-  #  - pdf
   - htmlzip
+  # - pdf
+
+sphinx:
+  configuration: docs/conf.py
 
 build:
   os: ubuntu-24.04
@@ -30,9 +33,9 @@ build:
       - asdf global uv latest
       - wget https://github.com/Z3Prover/z3/releases/download/z3-4.13.4/z3-4.13.4-x64-glibc-2.35.zip
       - unzip z3-4.13.4-x64-glibc-2.35.zip -d ~/
-      # Set up build time dependencies including a source distribution of mqt-core.
-      - uv sync --only-group build --only-group docs --no-binary-package mqt-core
-      # The default version of CMake on Ubuntu 24.04 is too old, so we need to install a newer version.
+      # Set up build-time dependencies
+      - uv sync --only-group build --only-group docs
+      # Install CMake because the default version on Ubuntu 24.04 is too old
       - uv pip install cmake
     build:
       html:
@@ -41,11 +44,8 @@ build:
         - Z3_ROOT=~/z3-4.13.4-x64-glibc-2.35 uv run --frozen --no-dev --no-build-isolation-package mqt-qmap -m sphinx -T -b dirhtml -d docs/_build/doctrees -D language=en docs docs/_build/dirhtml
         - mkdir -p $READTHEDOCS_OUTPUT/htmlzip
         - zip -r $READTHEDOCS_OUTPUT/htmlzip/html.zip docs/_build/dirhtml/*
-#      pdf:
-#        - Z3_ROOT=~/z3-4.13.4-x64-glibc-2.35 uv run --frozen --no-dev --no-build-isolation-package mqt-qmap -m sphinx -T -b latex -d docs/_build/doctrees -D language=en docs docs/_build/latex
-#        - cd docs/_build/latex && latexmk -pdf -f -dvi- -ps- -interaction=nonstopmode -jobname=$READTHEDOCS_PROJECT
-#        - mkdir -p $READTHEDOCS_OUTPUT/pdf
-#        - cp docs/_build/latex/$READTHEDOCS_PROJECT.pdf $READTHEDOCS_OUTPUT/pdf/$READTHEDOCS_PROJECT.pdf
-
-sphinx:
-  configuration: docs/conf.py
+      # pdf:
+      #   - Z3_ROOT=~/z3-4.13.4-x64-glibc-2.35 uv run --frozen --no-dev --no-build-isolation-package mqt-qmap -m sphinx -T -b latex -d docs/_build/doctrees -D language=en docs docs/_build/latex
+      #   - cd docs/_build/latex && latexmk -pdf -f -dvi- -ps- -interaction=nonstopmode -jobname=$READTHEDOCS_PROJECT
+      #   - mkdir -p $READTHEDOCS_OUTPUT/pdf
+      #   - cp docs/_build/latex/$READTHEDOCS_PROJECT.pdf $READTHEDOCS_OUTPUT/pdf/$READTHEDOCS_PROJECT.pdf

CHANGELOG.md

@@ -9,6 +9,10 @@ This project adheres to [Semantic Versioning], with the exception that minor rel
 
 ## [Unreleased]
 
+### Fixed
+
+- 🚸 Increase binary compatibility between `mqt-qmap`, `mqt-core`, and `mqt-qcec` ([#714]) ([**@denialhaag**])
+
 ## [3.2.0] - 2025-07-16
 
 _If you are upgrading: please see [`UPGRADING.md`](UPGRADING.md#320)._
@@ -101,6 +105,7 @@ _📚 Refer to the [GitHub Release Notes] for previous changelogs._
 
 <!-- PR links -->
 
+[#714]: https://github.com/munich-quantum-toolkit/qmap/pull/714
 [#712]: https://github.com/munich-quantum-toolkit/qmap/pull/712
 [#694]: https://github.com/munich-quantum-toolkit/qmap/pull/694
 [#665]: https://github.com/munich-quantum-toolkit/qmap/pull/665

UPGRADING.md

@@ -4,6 +4,12 @@ This document describes breaking changes and how to upgrade. For a complete list
 
 ## [Unreleased]
 
+Testing previous versions of the `mqt-qmap` package built via `uv sync` or simple `(uv) pip install .` generally failed due to binary incompatibility of the `mqt-core` compiled extension packages and the `mqt-qmap` one.
+This required building `mqt-core` from source and without build isolation to get a working local setup.
+By using the latest `pybind11` release (`v3`), the binary compatibility between extension modules compiled under different circumstances (such as different compilers) has been greatly increased.
+As such, it is no longer necessary to build `mqt-core` (and `mqt-qcec` for testing) from source and without build isolation when locally working on `mqt-qmap`.
+A simple `uv sync` is enough to successfully run `pytest`.
+
 ## [3.2.0]
 
 With this release, the Python package has been restructured.

noxfile.py

@@ -66,16 +66,6 @@ def _run_tests(
         "build",
         "--only-group",
         "test",
-        # Build mqt-core from source to work around pybind believing that two
-        # compiled extensions might not be binary compatible.
-        # This will be fixed in a new pybind11 release that includes https://github.com/pybind/pybind11/pull/5439.
-        "--no-binary-package",
-        "mqt-core",
-        # Similarly to above, build mqt-qcec from source because otherwise there
-        # might be binary compatibility issues with the compiled extensions.
-        # This can be removed once the above is no longer necessary.
-        "--no-binary-package",
-        "mqt-qcec",
         *install_args,
         env=env,
     )
@@ -158,11 +148,6 @@ def docs(session: nox.Session) -> None:
         "build",
         "--only-group",
         "docs",
-        # Build mqt-core from source to work around pybind believing that two
-        # compiled extensions might not be binary compatible.
-        # This will be fixed in a new pybind11 release that includes https://github.com/pybind/pybind11/pull/5439.
-        "--no-binary-package",
-        "mqt-core",
         env=env,
     )