dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / docs / chi / examples / knapsack.mzn
at develop 260 B view raw
1enum ITEM; 2int: capacity; 3 4array[ITEM] of int: profits; 5array[ITEM] of int: weights; 6 7var set of ITEM: knapsack; 8 9constraint sum (i in knapsack) (weights[i]) <= capacity; 10 11solve maximize sum (i in knapsack) (profits[i]) ; 12 13output ["knapsack = \(knapsack)\n"];