var 1..3: objective :: output_var;
var 1..2: other :: output_var;

constraint int_lin_le([1, -1], [other, objective], -1);

solve :: int_search([other], smallest, indomain_min) maximize objective;