dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / std / fzn_distribute.mzn
at develop 341 B view raw
1predicate fzn_distribute(array[int] of var int: card, 2 array[int] of var int: value, 3 array[int] of var int: base) = 4 forall (i in index_set(card)) ( 5 card[i] == sum(j in index_set(base)) ( 6 bool2int(value[i] = base[j]) 7 ) 8 );