this repo has no description
dekker.one
1include "distribute.mzn";
2
3/** @group globals.counting
4 Returns an array of the number of occurences of \a value[\p i] in
5 \a base. The values in \a value need not be distinct.
6*/
7function array[int] of var int: distribute(array[int] of var int: value,
8 array[int] of var int: base) :: promise_total =
9 let { array[index_set(value)] of var 0..length(base): card;
10 constraint distribute(card, value, base); }
11 in card;