We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 98eefa7 commit d02e03bCopy full SHA for d02e03b
ortools/flatzinc/mznlib/fzn_disjunctive_opt.mzn
@@ -1,4 +1,4 @@
1
-include "fzn_cumulative_opt.mzn"
+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) =
0 commit comments