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

constraint pumpkin_bool_xor(x, y);

solve satisfy;