dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / std / nvalue.mzn
at develop 232 B view raw
1include "fzn_nvalue.mzn"; 2include "fzn_nvalue_reif.mzn"; 3 4/** @group globals.alldifferent 5 Requires that the number of distinct values in \a x is \a n. 6*/ 7predicate nvalue(var int: n, array[int] of var int: x) = 8 fzn_nvalue(n, x);