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

var 0..2: x1 :: output_var;
var 1..3: x2 :: output_var;
var 0..10: x3 :: output_var;
constraint int_plus(1, 1, 2);
constraint int_plus(0, 1, 1);
constraint int_plus(1, 3, 4);
constraint int_plus(3, 0, 3);
constraint int_plus(x1, x2, x3);
solve satisfy;