fix minimum decomposition

CPMpy · Jun 4, 2024 · 1dfc1f8 · 1dfc1f8
1 parent 7d46eb3
commit 1dfc1f8
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/cpmpy/expressions/globalfunctions.py b/cpmpy/expressions/globalfunctions.py
@@ -133,8 +133,7 @@ def decompose_comparison(self, cpm_op, cpm_rhs):
         """
         from .python_builtins import any, all
         if cpm_op == "==":  # can avoid creating aux var
-            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()
         _min = intvar(lb, ub)