fix maximum decomposition

CPMpy · Jun 4, 2024 · 160cb89 · 160cb89
1 parent 2742548
commit 160cb89
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/cpmpy/expressions/globalfunctions.py b/cpmpy/expressions/globalfunctions.py
@@ -175,8 +175,7 @@ def decompose_comparison(self, cpm_op, cpm_rhs):
         """
         from .python_builtins import any, all
         if cpm_op == "==":  # can avoid creating aux var here
-            return [any(x == cpm_rhs for x in self.args),
-                    all(x <= cpm_rhs for x in self.args)], []
+            return [any(x >= cpm_rhs for x in self.args)], [all(x <= cpm_rhs for x in self.args)]
 
         lb, ub = self.get_bounds()
         _max = intvar(lb, ub)