7 lines
226 B
MiniZinc
7 lines
226 B
MiniZinc
array [1..6] of int: items = [3, -4, 1, 6, 3, 1];
|
|
array [1..3] of var -10..10: xtable :: output_array([1..3]);
|
|
constraint int_eq(xtable[1], 6);
|
|
constraint int_eq(xtable[2], 0);
|
|
constraint int_eq(xtable[3], -3);
|
|
solve satisfy;
|