dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / std / nvalue_fn.mzn
at develop 221 B view raw
1include "nvalue.mzn"; 2 3/** @group globals.alldifferent 4 Returns the number of distinct values in \a x. 5*/ 6function var int: nvalue(array[int] of var int: x) = 7 let { var 0..length(x): n; constraint nvalue(n,x); } in n;