Move QFw to Qiskit 2.5 for the MQT compiler

setup/overrides.txt

@@ -0,0 +1,9 @@
+# Dependency overrides, passed as `uv pip install --override` alongside the
+# requirements files. An override replaces a package's declared constraint
+# everywhere in the resolution, so keep this list short and justified.
+
+# pennylane-qiskit 0.45.0 declares qiskit<=2.3.0 but runs on 2.5. Without
+# this the resolver satisfies the cap by downgrading pennylane-qiskit to 0.39
+# and qiskit-ibm-runtime to 0.29. Drop the override once pennylane-qiskit
+# publishes a release that allows Qiskit 2.5.
+qiskit==2.5.2

setup/requirements.txt

@@ -1,10 +1,14 @@
-qiskit==2.2.3
+# mqt.core.mlir binds Qiskit's C API per minor release and accepts only the
+# 2.5 series, so this pin tracks the Qiskit the MQT compiler was built for.
+qiskit==2.5.2
 qiskit_aer==0.17.2
 qiskit-algorithms
 qiskit-optimization
 supermarq
 pennylane
-pennylane-qiskit
+# Declares qiskit<=2.3.0 while working with 2.5; setup/overrides.txt lifts
+# that cap. Pinned so the override is only ever applied to a tested release.
+pennylane-qiskit==0.45.0
 qiskit-ibm-runtime
 # qiskit-ibm-runtime asks for ibm-platform-services>=0.22.6, and iqm-client
 # below pins requests==2.32.3 exactly. ibm-platform-services 0.77.0 moved to