eq10.fzn

var 0..10: X1;
var 0..10: X2;
var 0..10: X3;
var 0..10: X4;
var 0..10: X5;
var 0..10: X6;
var 0..10: X7;
array [1..7] of var 0..10: LD :: output_array([1..7]) = [X1, X2, X3, X4, X5, X6, X7];
constraint int_lin_eq([-93989, 98957, 83634, 69966, 62038, 37164, 85413], [X1, X2, X3, X4, X5, X6, X7], 1823553);
constraint int_lin_eq([-71583, 94198, 87234, 37498, -25728, -25495, -70023], [X1, X2, X3, X4, X5, X6, X7], -519878);
constraint int_lin_eq([-60152, -21103, 13057, 42253, 77527, -97932, 96552], [X1, X2, X3, X4, X5, X6, X7], 1185471);
constraint int_lin_eq([-48224, 76132, 71860, 22770, 68211, 78587, -82817], [X1, X2, X3, X4, X5, X6, X7], 480923);
constraint int_lin_eq([10949, 77761, -80197, -61944, 67052, -92964, -44550], [X1, X2, X3, X4, X5, X6, X7], -900032);
constraint int_lin_eq([66920, -64234, -65337, 55679, -45581, -67707, -98038], [X1, X2, X3, X4, X5, X6, X7], -1394152);
constraint int_lin_eq([68550, 27886, 31716, 73597, -88963, -76391, 38835], [X1, X2, X3, X4, X5, X6, X7], 279091);
constraint int_lin_eq([73947, -96253, 84391, -44247, 81310, -70582, -33054], [X1, X2, X3, X4, X5, X6, X7], 1164380);
constraint int_lin_eq([78693, -94129, -43188, -82528, 38592, 38478, -69025], [X1, X2, X3, X4, X5, X6, X7], -361921);
constraint int_lin_eq([98527, 34588, 5872, -30704, 59422, -29649, 65159], [X1, X2, X3, X4, X5, X6, X7], 1547604);
solve satisfy;