Rewrite fzn_disjunctive_strict to gecode_schedule_unary instead of cumulative. Previously the strict behaviour for 0-length tasks was not enforced.

guidotack · guidotack · commit 49ac26a95547 · 2022-05-04T14:50:04.000+10:00
diff --git a/gecode/flatzinc/mznlib/fzn_disjunctive_strict.mzn b/gecode/flatzinc/mznlib/fzn_disjunctive_strict.mzn
@@ -1,12 +1,12 @@
-include "fzn_cumulative.mzn";
+predicate gecode_schedule_unary(array[int] of var int: x, array[int] of int: p);
 
 predicate fzn_disjunctive_strict(array[int] of var int: s,
                                  array[int] of var int: d) =
     assert(index_set(s) == index_set(d),
         "disjunctive: the array arguments must have identical index sets",
         forall (i in index_set(d)) (d[i] >= 0) /\
         if forall (i in index_set(d)) (is_fixed(d[i])) then
-          fzn_cumulative(s,d,array1d(index_set(d),[1 | i in index_set(d)]),1)
+          gecode_schedule_unary(array1d(s),[fix(di) | di in d])
         else
           forall (i,j in index_set(d) where i<j) (
             s[i]+d[i] <= s[j] \/ s[j]+d[j] <= s[i]
