From d91e987c4f9c045e59bfaba2702bebc06262f054 Mon Sep 17 00:00:00 2001 From: ignace Date: Tue, 14 Nov 2023 16:06:58 +0100 Subject: [PATCH] better condition --- cpmpy/solvers/minizinc.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cpmpy/solvers/minizinc.py b/cpmpy/solvers/minizinc.py index 6cc56bcf9..d7356e32e 100644 --- a/cpmpy/solvers/minizinc.py +++ b/cpmpy/solvers/minizinc.py @@ -570,7 +570,7 @@ def zero_based(array): elif expr.name == "cumulative": start, dur, end, _, _ = expr.args self += [s + d == e for s,d,e in zip(start,dur,end)] - if not isinstance(args_str[0], list): + if len(start) == 1: assert len(start) == 1 format_str = "cumulative([{}],[{}],[{}],{})" else: