13 lines
407 B
MiniZinc
13 lines
407 B
MiniZinc
var bool: I1 :: output_var;
|
|
var bool: I2 :: output_var;
|
|
var bool: I3 :: output_var = false;
|
|
var bool: O2 :: output_var = true;
|
|
var bool: X1____00001;
|
|
var bool: O1 :: output_var = X1____00001;
|
|
var bool: Y1____00002;
|
|
var bool: Y2____00003 = false;
|
|
constraint array_bool_and([I1, I2], Y1____00002);
|
|
constraint array_bool_or([Y1____00002, false], true);
|
|
constraint bool_xor(I1, I2, X1____00001);
|
|
solve satisfy;
|