Merge branch 'main' into Karp

.github/workflows/cd.yml

@@ -33,7 +33,7 @@ jobs:
           path: dist
           merge-multiple: true
       - name: Generate artifact attestation for sdist and wheel(s)
-        uses: actions/attest-build-provenance@v1.4
+        uses: actions/attest-build-provenance@v1
         with:
           subject-path: "dist/*"
       - uses: pypa/gh-action-pypi-publish@release/v1

.pre-commit-config.yaml

@@ -58,7 +58,7 @@ repos:
 
   # Python linting using ruff
   - repo: https://github.com/astral-sh/ruff-pre-commit
-    rev: v0.7.2
+    rev: v0.7.4
     hooks:
       - id: ruff
         args: ["--fix", "--show-fixes"]
@@ -93,7 +93,7 @@ repos:
 
   # Check for spelling
   - repo: https://github.com/crate-ci/typos
-    rev: v1.27.0
+    rev: typos-dict-v0.11.35
     hooks:
       - id: typos
 
@@ -123,6 +123,6 @@ repos:
 
   # Check the pyproject.toml file
   - repo: https://github.com/henryiii/validate-pyproject-schema-store
-    rev: 2024.10.21
+    rev: 2024.11.18
     hooks:
       - id: validate-pyproject

src/mqt/qao/constraints.py

@@ -55,6 +55,7 @@ def translate_constraints(self, var: Variables) -> tuple[bool, Variables]:
         bool -- for identifying eventual errors or issue in the conversion
         auxiliary_variables -- variable added for writing constraints
         """
+        self.constraints_penalty_functions = []
         auxiliary_variables = Variables()
         i = 0
         j = 0