18 lines
815 B
MiniZinc
18 lines
815 B
MiniZinc
array [1..7] of var -3..3: x :: output_array([1..7]);
|
|
var 4..4: z :: output_var = 4;
|
|
constraint int_eq(-3, x[7]);
|
|
constraint int_eq(0, x[1]);
|
|
constraint int_eq(0, x[2]);
|
|
constraint int_eq(0, x[5]);
|
|
constraint int_eq(0, x[6]);
|
|
constraint int_eq(1, x[3]);
|
|
constraint int_eq(2, x[4]);
|
|
constraint int_lin_le([-1, 1], [z, x[1]], -1);
|
|
constraint int_lin_le([-1, 1, 1], [z, x[1], x[2]], -1);
|
|
constraint int_lin_le([-1, 1, 1, 1], [z, x[1], x[2], x[3]], -1);
|
|
constraint int_lin_le([-1, 1, 1, 1, 1], [z, x[1], x[2], x[3], x[4]], -1);
|
|
constraint int_lin_le([-1, 1, 1, 1, 1, 1], [z, x[1], x[2], x[3], x[4], x[5]], -1);
|
|
constraint int_lin_le([-1, 1, 1, 1, 1, 1, 1], [z, x[1], x[2], x[3], x[4], x[5], x[6]], -1);
|
|
constraint int_lin_le([-1, 1, 1, 1, 1, 1, 1, 1], [z, x[1], x[2], x[3], x[4], x[5], x[6], x[7]], -1);
|
|
solve satisfy;
|