array [1..3] of int: amount = [6, 4, 1];
array [1..3] of var 0..1000: x :: output_array([1..3]);
constraint int_lin_eq([-5, 1], [x[1], x[2]], 0);
constraint int_lin_eq([1, 1, 1], [x[1], x[2], x[3]], 100);
constraint int_lin_eq([6, 4, 1], [x[1], x[2], x[3]], 200);
solve satisfy;