9 lines
502 B
MiniZinc
9 lines
502 B
MiniZinc
array [1..3] of int: profits = [15, 10, 7];
|
|
array [1..3] of int: units = [4, 3, 2];
|
|
var 0..288: INT____00001 :: is_defined_var :: var_is_introduced;
|
|
var 0..288: TotalProfit :: output_var = INT____00001;
|
|
array [1..3] of var 0..9: x :: output_array([1..3]);
|
|
constraint int_lin_eq([-1, 15, 10, 7], [INT____00001, x[1], x[2], x[3]], 0) :: defines_var(INT____00001);
|
|
constraint int_lin_le([4, 3, 2], [x[1], x[2], x[3]], 9);
|
|
solve :: int_search(x, first_fail, indomain_max, complete) maximize INT____00001;
|