this repo has no description
dekker.one
1include "fzn_sort.mzn";
2include "fzn_sort_reif.mzn";
3
4/** @group globals.sort
5 Requires that the multiset of values in \a x are the same as the
6 multiset of values in \a y but \a y is in sorted order.
7*/
8predicate sort(array[int] of var int: x, array[int] of var int: y) =
9 assert(card(index_set(x)) == card(index_set(y)),
10 "sort: x and y must be same sized arrays",
11 fzn_sort(x,y)
12 );