this repo has no description
dekker.one
1include "fzn_sum_pred.mzn";
2include "fzn_sum_pred_reif.mzn";
3
4/** @group globals
5 Requires that the sum of \a cs[\p i1]..\a cs[\p iN] equals \a s,
6 where \p i1..\p iN are the elements of the \a i th set in \a sets.
7
8 Nb: not called 'sum' as in the constraints catalog because 'sum' is a
9 MiniZinc built-in function.
10*/
11predicate sum_pred(var int: i, array[int] of set of int: sets,
12 array[int] of int: cs, var int: s) =
13 fzn_sum_pred(i, sets, cs, s);