10 lines
311 B
MiniZinc
10 lines
311 B
MiniZinc
array [1..3] of var int: x :: output_array([1..3]);
|
|
constraint int_le(0, x[1]);
|
|
constraint int_le(0, x[2]);
|
|
constraint int_le(0, x[3]);
|
|
constraint int_le(x[1], 9);
|
|
constraint int_le(x[2], 9);
|
|
constraint int_le(x[3], 1345);
|
|
constraint int_lin_eq([10000, 1, -72], [x[1], x[2], x[3]], -6790);
|
|
solve minimize x[3];
|