this repo has no description
dekker.one
1include "bin_packing_load.mzn";
2
3/** @group globals.packing
4 Returns the load of each bin resulting from packing each item \p i with
5 weight \a w[\p i] into \a bin[\p i], where the load is defined as
6 the sum of the weights of the items in each bin.
7
8 Assumptions:
9
10 - forall \p i, \a w[\p i] >=0
11*/
12function array[int] of var int: bin_packing_load(array[int] of var int: bin,
13 array[int] of int: w) :: promise_total =
14 let { array[dom_bounds_array(bin)] of var 0..sum(w): load;
15 constraint bin_packing_load(load,bin,w); }
16 in load;