use floor and ceil to ensure int bounds

CPMpy · Feb 29, 2024 · 82824ad · 82824ad
1 parent 8f7fc6e
commit 82824ad
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):