% RUNS ON flatzinc
% RUNS ON fzn_fd_canon
% RUNS ON fzn_fdlp_canon
% RUNS ON fzn_lazyfd_canon

var 0..2: x1 :: output_var;
var 1..4: x2 :: output_var;
var bool: x3 :: output_var;
constraint int_ne_reif(3, 3, false);
constraint int_ne_reif(3, 4, true);
constraint int_ne_reif(4, 3, true);
constraint int_ne_reif(5, 5, false);
constraint int_ne_reif(x1, x2, x3);
solve satisfy;