fix #4577

2025-03-03 15:25:14 +01:00
parent 6c81f1187e
commit 98eefa72da
1 changed files with 3 additions and 1 deletions
--- a/ortools/flatzinc/mznlib/fzn_disjunctive_opt.mzn
+++ b/ortools/flatzinc/mznlib/fzn_disjunctive_opt.mzn
@@ -1,4 +1,6 @@
+include "fzn_cumulative_opt.mzn"
+
 predicate fzn_disjunctive_opt(array[int] of var opt int: s,
                              array[int] of var int: d) =
        forall(i in index_set(d))(d[i] >= 0)
-    /\  fzn_cumulative_opt(s, d, [1 | i in index_set(s)], 1);
+    /\  fzn_cumulative_opt(s, d, [1 | i in index_set(s)], 1);