dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / std / fzn_count_leq.mzn
at develop 214 B view raw
1predicate fzn_count_leq(array[int] of var int: x, var int: y, var int: c) = 2 c <= sum(i in index_set(x)) ( bool2int(x[i] == y) ); 3 4%-----------------------------------------------------------------------------%