⬆️ update mqt-core (#460)

## Description

This PR updates QCEC with the latest changes from MQT Core.
It also contains a small configuration tweak for the noxfile.

## Checklist:

<!---
This checklist serves as a reminder of a couple of things that ensure
your pull request will be merged swiftly.
-->

- [x] The pull request only contains commits that are related to it.
- [x] I have added appropriate tests and documentation.
- [x] I have made sure that all CI jobs on GitHub pass.
- [x] The pull request introduces no new warnings and follows the
project's style guidelines.

---------

Signed-off-by: burgholzer <burgholzer@me.com>

Author: burgholzer

cmake/ExternalDependencies.cmake

@@ -22,7 +22,7 @@ endif()
 # cmake-format: off
 set(MQT_CORE_VERSION 2.6.1
     CACHE STRING "MQT Core version")
-set(MQT_CORE_REV "41eea72cdbefbd86ba06f76dc41a911950dd3081"
+set(MQT_CORE_REV "3529a4435339af3b400e976b1a5e7393d8e5bf4f"
     CACHE STRING "MQT Core identifier (tag, branch or commit hash)")
 set(MQT_CORE_REPO_OWNER "cda-tum"
 	CACHE STRING "MQT Core repository owner (change when using a fork)")

noxfile.py

@@ -68,7 +68,7 @@ def _run_tests(
 
     session.install(*BUILD_REQUIREMENTS, *install_args, env=env)
     install_arg = f"-ve.[{','.join(_extras)}]"
-    session.install("--no-build-isolation", "--reinstall-package", "mqt.qcec", install_arg, *install_args, env=env)
+    session.install("--no-build-isolation", install_arg, *install_args, env=env)
     session.run("pytest", *run_args, *posargs, env=env)
 
 
@@ -103,7 +103,7 @@ def docs(session: nox.Session) -> None:
     serve = args.builder == "html" and session.interactive
     extra_installs = ["sphinx-autobuild"] if serve else []
     session.install(*BUILD_REQUIREMENTS, *extra_installs)
-    session.install("--no-build-isolation", "-ve.[docs]", "--reinstall-package", "mqt.qcec")
+    session.install("--no-build-isolation", "-ve.[docs]")
 
     if args.builder == "linkcheck":
         session.run("sphinx-build", "-b", "linkcheck", "docs", "docs/_build/linkcheck", *posargs)

pyproject.toml

@@ -300,3 +300,7 @@ environment = { MACOSX_DEPLOYMENT_TARGET = "10.15" }
 before-build = "pip install delvewheel>=1.7.3"
 repair-wheel-command = "delvewheel repair -v -w {dest_dir} {wheel} --namespace-pkg mqt"
 environment = { CMAKE_ARGS = "-T ClangCL", SKBUILD_CMAKE_ARGS="--fresh" }
+
+
+[tool.uv]
+reinstall-package = ["mqt.qcec"]

src/EquivalenceCheckingManager.cpp

@@ -70,9 +70,7 @@ void EquivalenceCheckingManager::stripIdleQubits() {
     // Remove idle logical qubit present exclusively in largerCircuit
     if (qubitDifference > 0 &&
         ((smallerCircuit.getNqubits() == 0) ||
-         logicalQubitIndex >
-             qc::QuantumComputation::getHighestLogicalQubitIndex(
-                 smallerCircuit.initialLayout))) {
+         logicalQubitIndex > smallerCircuit.initialLayout.maxValue())) {
       const bool physicalUsedInOutputPermutation =
           largerCircuit.outputPermutation.find(physicalQubitIndex) !=
           largerCircuit.outputPermutation.end();
@@ -198,9 +196,7 @@ void EquivalenceCheckingManager::setupAncillariesAndGarbage() {
   std::vector<bool> garbage(nqubits);
 
   for (std::size_t i = 0; i < qubitDifference; ++i) {
-    const auto logicalQubitIndex =
-        qc::QuantumComputation::getHighestLogicalQubitIndex(
-            largerCircuit.initialLayout);
+    const auto logicalQubitIndex = largerCircuit.initialLayout.maxValue();
     garbage[logicalQubitIndex] =
         largerCircuit.logicalQubitIsGarbage(logicalQubitIndex);
     removed.push_back(largerCircuit.removeQubit(logicalQubitIndex));
@@ -230,8 +226,8 @@ void EquivalenceCheckingManager::runOptimizationPasses() {
     return;
   }
 
-  const auto isDynamicCircuit1 = qc::CircuitOptimizer::isDynamicCircuit(qc1);
-  const auto isDynamicCircuit2 = qc::CircuitOptimizer::isDynamicCircuit(qc2);
+  const auto isDynamicCircuit1 = qc1.isDynamic();
+  const auto isDynamicCircuit2 = qc2.isDynamic();
   if (isDynamicCircuit1 || isDynamicCircuit2) {
     if (configuration.optimizations.transformDynamicCircuit) {
       if (isDynamicCircuit1) {