this repo has no description
dekker.one
1include "fzn_global_cardinality_low_up.mzn";
2include "fzn_global_cardinality_low_up_reif.mzn";
3
4/** @group globals.counting
5 Requires that for all \p i, the value \a cover[\p i] appears at least \a lbound[\p i]
6 and at most \a ubound[\p i] times in the array \a x.
7*/
8predicate global_cardinality_low_up(array[int] of var int: x,
9 array[int] of int: cover,
10 array[int] of int: lbound,
11 array[int] of int: ubound) =
12 fzn_global_cardinality_low_up(x,cover,lbound,ubound);