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

var 0..3: x1 :: output_var;
var 2..7: x2 :: output_var;
var 0..15: x3 :: output_var;
constraint int_times(0, 0, 0);
constraint int_times(1, 0, 0);
constraint int_times(0, 1, 0);
constraint int_times(1, 1, 1);
constraint int_times(2, 1, 2);
constraint int_times(1, 5, 5);
constraint int_times(5, 0, 0);
constraint int_times(x1, x2, x3);
solve satisfy;