this repo has no description
dekker.one
1include "fzn_global_cardinality_low_up_closed.mzn";
2include "fzn_global_cardinality_low_up_closed_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
8 The elements of \a x must take their values from \a cover.
9*/
10predicate global_cardinality_low_up_closed(array[int] of var int: x,
11 array[int] of int: cover,
12 array[int] of int: lbound,
13 array[int] of int: ubound) =
14 fzn_global_cardinality_low_up_closed(x, cover, lbound, ubound);