this repo has no description
dekker.one
1include "all_different_int.mzn";
2include "all_different_set.mzn";
3include "analyse_all_different.mzn";
4
5/** @group globals.alldifferent
6 Constrain the array of integers \a x to be all different.
7*/
8predicate all_different(array[$X] of var int: x) =
9 analyse_all_different(array1d(x)) /\
10 all_different_int(array1d(x));
11
12/** @group globals.alldifferent
13 Constrain the array of sets of integers \a x to be all different.
14*/
15predicate all_different(array[$X] of var set of int: x) =
16 all_different_set(array1d(x));
17% Synonyms for the above.
18
19predicate alldifferent(array[$X] of var int: x) =
20 all_different_int(array1d(x));
21
22predicate alldifferent(array[$X] of var set of int: x) =
23 all_different_set(array1d(x));
24