6 lines
196 B
MiniZinc
6 lines
196 B
MiniZinc
array [1..2] of int: birds = [1, 2];
|
|
array [1..2] of var 0..1: flies :: output_array([1..2]);
|
|
constraint int_eq_reif(flies[1], 1, false);
|
|
constraint int_eq_reif(flies[2], 1, true);
|
|
solve satisfy;
|