convert numbers to int

CPMpy · Oct 18, 2023 · 4a1cee9 · 4a1cee9
1 parent 2ef3f91
commit 4a1cee9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cpmpy/solvers/choco.py b/cpmpy/solvers/choco.py
@@ -222,7 +222,7 @@ def solver_var(self, cpm_var):
             if cpm_var < -2147483646 or cpm_var > 2147483646:
                 raise ChocoBoundsException(
                     "Choco does not accept integer literals with bounds outside of range (-2147483646..2147483646)")
-            return cpm_var
+            return int(cpm_var)
 
         # special case, negative-bool-view
         # work directly on var inside the view