dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / std / fzn_knapsack.mzn
at develop 302 B view raw
1predicate fzn_knapsack(array[int] of int: w, array[int] of int:p, 2 array[int] of var int:x, var int: W, var int: P) = 3 forall (i in index_set(x)) (x[i] >= 0) /\ 4 W >= 0 /\ P >= 0 /\ 5 P = sum(i in index_set(p)) (x[i]*p[i]) /\ 6 W = sum(i in index_set(w)) (x[i]*w[i]);