Merge branch 'main' into fake-backends-v1

Author: ElePT

constraints.txt

@@ -6,3 +6,10 @@ jsonschema==3.2.0
 # eigensystem code for one of the test cases.  See
 # https://github.com/Qiskit/qiskit-terra/issues/10345 for current details.
 scipy<1.11; python_version<'3.12'
+
+# z3-solver from 4.12.3 onwards upped the minimum macOS API version for its
+# wheels to 11.7. The Azure VM images contain pre-built CPythons, of which at
+# least CPython 3.8 was compiled for an older macOS, so does not match a
+# `macos_11_7` platform tag.  This should be purely a CI artefact, and not
+# affect local usage.
+z3-solver==4.12.2.0; platform_system=="Darwin"