this repo has no description
dekker.one
1predicate fzn_knapsack_reif(array[int] of int: w, array[int] of int:p,
2 array[int] of var int:x, var int: W, var int: P, var bool: b) =
3 b <-> (
4 forall (i in index_set(x)) (x[i] >= 0) /\
5 W >= 0 /\ P >= 0 /\
6 P = sum(i in index_set(p)) (x[i]*p[i]) /\
7 W = sum(i in index_set(w)) (x[i]*w[i])
8 );