correct solveAll count

CPMpy · Sep 18, 2023 · 63f2b23 · 63f2b23
1 parent 0bb056c
commit 63f2b23
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cpmpy/solvers/choco.py b/cpmpy/solvers/choco.py
@@ -89,7 +89,7 @@ def __init__(self, cpm_model=None, subsolver=None):
         # initialise the native solver objects
         self.chc_model = chc.Model()
         self.chc_solver = chc.Model().get_solver()
-        self.helper_var = self.chc_model.intvar(0, 2)
+        self.helper_var = self.chc_model.intvar(0, 0)
 
         # for the objective
         self.has_obj = False