1 2 3 4
var 0..3: x; var 0..3: y; solve :: warm_start_array([warm_start([x], [1]), warm_start([y], [2])]) maximize x + y;