We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 6c81f11 commit 98eefa7Copy full SHA for 98eefa7
ortools/flatzinc/mznlib/fzn_disjunctive_opt.mzn
@@ -1,4 +1,6 @@
1
+include "fzn_cumulative_opt.mzn"
2
+
3
predicate fzn_disjunctive_opt(array[int] of var opt int: s,
4
array[int] of var int: d) =
5
forall(i in index_set(d))(d[i] >= 0)
- /\ fzn_cumulative_opt(s, d, [1 | i in index_set(s)], 1);
6
+ /\ fzn_cumulative_opt(s, d, [1 | i in index_set(s)], 1);
0 commit comments