% RUNS ON flatzinc
% RUNS ON fzn_bdd_canon
% RUNS ON fzn_fd_canon
% RUNS ON fzn_fdlp_canon
% RUNS ON fzn_lazyfd_canon
% RUNS ON fzn_sat_canon

var bool: x1 :: output_var;
var bool: x2 :: output_var;
var bool: x3 :: output_var;
constraint bool_lt_reif(false, false, false);
constraint bool_lt_reif(false, true, true);
constraint bool_lt_reif(true, false, false);
constraint bool_lt_reif(true, true, false);
constraint bool_lt_reif(x1, x2, x3);
solve satisfy;