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

var 2..5: x1 :: output_var;
var 1..8: x2 :: output_var;
constraint int_le(0, 0);
constraint int_le(0, 1);
constraint int_le(5, 7);
constraint int_le(10, 10);
constraint int_le(x1, x2);
solve satisfy;