1 2 3 4 5 6
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;