this repo has no description
dekker.one
1include "fzn_sum_set.mzn";
2include "fzn_sum_set_reif.mzn";
3
4/** @group globals
5 Requires that the sum of the weights \a ws[\p i1]..\a ws[\p iN] equals \a s,
6 where \a vs[\p i1]..\a vs[\p iN] are the elements appearing in set \a x
7*/
8
9predicate sum_set(array[int] of int: vs, array[int] of int: ws,
10 var set of int: x, var int: s) =
11 fzn_sum_set(vs, ws, x, s);