9 lines
312 B
MiniZinc
9 lines
312 B
MiniZinc
array [1..3] of int: value = [30, 12, 6];
|
|
array [1..3] of var int: x :: output_array([1..3]);
|
|
constraint int_le(1, x[1]);
|
|
constraint int_le(1, x[2]);
|
|
constraint int_le(1, x[3]);
|
|
constraint int_lin_eq([1, 1, 1], [x[1], x[2], x[3]], 15);
|
|
constraint int_lin_eq([30, 12, 6], [x[1], x[2], x[3]], 306);
|
|
solve satisfy;
|