From 21408ad6ada56cd4ae69354f707c6264d38bd314 Mon Sep 17 00:00:00 2001 From: Hendrik 'Henk' Bierlee Date: Tue, 17 Mar 2026 09:23:04 +0000 Subject: [PATCH 1/2] Re-enable BVA --- cpmpy/solvers/pindakaas.py | 1 - 1 file changed, 1 deletion(-) diff --git a/cpmpy/solvers/pindakaas.py b/cpmpy/solvers/pindakaas.py index 2447fbff8..3a91db0dc 100755 --- a/cpmpy/solvers/pindakaas.py +++ b/cpmpy/solvers/pindakaas.py @@ -115,7 +115,6 @@ def __init__(self, cpm_model=None, subsolver=None): self.encoding = "auto" self.pdk_solver = pdk.solver.CaDiCaL() # TODO workaround for upstream issue https://github.com/pindakaashq/pindakaas/issues/189 - self.pdk_solver._set_option("factor", 0) self.unsatisfiable = False # `pindakaas` might determine unsat before solving self.core = None # latest UNSAT core super().__init__(name=name, cpm_model=cpm_model) From 6fb05e30f4d12dbfac0adeb11d2d9e3d278d9417 Mon Sep 17 00:00:00 2001 From: Hendrik 'Henk' Bierlee Date: Tue, 17 Mar 2026 10:11:05 +0000 Subject: [PATCH 2/2] Try non-parallel --- .github/workflows/python-test.yml | 11 ++--------- 1 file changed, 2 insertions(+), 9 deletions(-) diff --git a/.github/workflows/python-test.yml b/.github/workflows/python-test.yml index 794b0f390..67bfa8273 100644 --- a/.github/workflows/python-test.yml +++ b/.github/workflows/python-test.yml @@ -10,14 +10,7 @@ jobs: with: python-version: '3.10' - name: Install dependencies - run: | - python -m pip install --upgrade pip - if [ -f requirements.txt ]; then pip install -r requirements.txt; fi - pip install ".[test, z3, exact, pysat, pysdd, choco, minizinc, pindakaas, pumpkin]" - pip install pypblib # dependency of pysat for PB constraints - pip install pytest-xdist - sudo snap install minizinc --classic - + run: "python -m pip install --upgrade pip\nif [ -f requirements.txt ]; then pip install -r requirements.txt; fi\npip install \".[test, z3, exact, pysat, pysdd, choco, minizinc, pindakaas, pumpkin]\"\npip install pypblib # dependency of pysat for PB constraints\npip install pytest-xdist\nsudo snap install minizinc --classic \n" - name: Test with pytest run: | - python -m pytest -n auto tests/ --solver all -ref + python -m pytest tests/ --solver pindakaas -ref -k partial_div_mod