8 lines
236 B
MiniZinc
8 lines
236 B
MiniZinc
var 2..2: v :: output_var = 2;
|
|
array [1..2] of var 1..3: values :: output_array([1..2]);
|
|
constraint int_eq(values[1], 1);
|
|
constraint int_eq(values[2], 3);
|
|
constraint int_ne(values[1], 2);
|
|
constraint int_ne(values[2], 2);
|
|
solve satisfy;
|