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

constraint bool_clause([x], [y]);

solve satisfy;