ensure int bounds in var creation(#455)

CPMpy · Mar 1, 2024 · f038263 · f038263
1 parent 54d9681
commit f038263
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cpmpy/transformations/flatten_model.py b/cpmpy/transformations/flatten_model.py
@@ -335,7 +335,7 @@ def get_or_make_var(expr):
         (flatexpr, flatcons) = normalized_numexpr(expr)
 
         lb, ub = flatexpr.get_bounds()
-        ivar = _IntVarImpl(lb, ub)
+        ivar = _IntVarImpl(math.floor(lb), math.ceil(ub))
         return (ivar, [flatexpr == ivar]+flatcons)
 
 def get_or_make_var_or_list(expr):