10 lines
402 B
MiniZinc
10 lines
402 B
MiniZinc
array [1..2] of var 0..1: t :: output_array([1..2]);
|
|
array [1..4] of var 0..1: x :: output_array([1..2, 1..2]);
|
|
constraint int_eq(t[1], t[2]);
|
|
constraint int_eq(t[2], x[2]);
|
|
constraint int_lin_eq([1, 1], [x[1], x[2]], 1);
|
|
constraint int_lin_eq([1, 1], [x[3], x[4]], 1);
|
|
constraint int_lin_le([-2, 1, 1], [t[1], x[1], x[3]], 0);
|
|
constraint int_lin_le([1, -1, -1], [t[1], x[1], x[3]], 0);
|
|
solve satisfy;
|