var -3..3: a :: output_var;
var -3..3: b :: output_var;

constraint int_abs(a, b);

solve satisfy;