diff --git a/cpmpy/expressions/globalfunctions.py b/cpmpy/expressions/globalfunctions.py index 22e5019aa..2e2f85a7c 100644 --- 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)