var bool: x:: output_var;
var bool: y:: output_var;

constraint bool_xor(x, y, true);

solve satisfy;