this repo has no description
dekker.one
1/***
2!Test
3solvers: [gurobi]
4expected: !Result
5 solution: !Solution
6 load: [3, 8, 10]
7***/
8
9include "bin_packing_load_fn.mzn";
10include "experimental.mzn";
11
12array [1..6] of var 1..3: bin;
13array [1..3] of var 0..10: load;
14
15array [1..6] of int: weight = [i | i in 1..6];
16
17
18constraint load = bin_packing_load(bin, weight);
19
20constraint load[1] >= 3 /\ load[3] <= 10;
21
22solve
23 :: goal_hierarchy([int_min_goal(load[1]), int_min_goal(load[2]), int_min_goal(load[3])])
24 satisfy;
25
26output ["bin = ", show(bin), "\n", "load = ", show(load)];