var -3..3: a :: output_var;
var {-3, -2, -1, 1, 2, 3}: b :: output_var;
var -3..3: c :: output_var;

constraint int_div(a, b, c);

solve satisfy;