this repo has no description
dekker.one
1include "fzn_at_most1.mzn";
2include "fzn_at_most1_reif.mzn";
3
4/** @group globals.counting
5 Requires that each pair of sets in \a s overlap in at most one element.
6*/
7predicate at_most1(array[int] of var set of int: s) =
8 fzn_at_most1(s);
9
10predicate at_most1_reif(array[int] of var set of int: s, var bool: b) =
11 fzn_at_most1_reif(s, b);
12
13% Synonym for the above.
14predicate atmost1(array[int] of var set of int: s) = fzn_at_most1(s);