This commit is contained in:
Laurent Perron
2025-03-03 15:49:57 +01:00
parent 98eefa72da
commit d02e03bbc4

View File

@@ -1,4 +1,4 @@
include "fzn_cumulative_opt.mzn"
include "fzn_cumulative_opt.mzn";
predicate fzn_disjunctive_opt(array[int] of var opt int: s,
array[int] of var int: d) =