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

var {0, 1, 4, 7, 8, 17}: x1 :: output_var;
var {1, 4, 7, 9, 13, 15   }: x2 :: output_var;
var 0..20: x3 :: output_var;
constraint int_div(7, 4, 1);
constraint int_div(4, 5, 0);
constraint int_div( 12, 2, 6);
constraint int_div(3, 3, 1);
constraint int_div(20, 6, 3);
constraint int_div(x1, x2, x3);
solve satisfy;