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

constraint bool_not(x, y);

solve satisfy;