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
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)