examples/flatzinc/tomography.fzn

array [1..12] of int: col_sums = [0, 0, 7, 1, 6, 3, 4, 5, 2, 7, 0, 0];
array [1..11] of int: row_sums = [0, 0, 8, 2, 6, 4, 5, 3, 7, 0, 0];
array [1..132] of var 0..1: x :: output_array([1..11, 1..12]);
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[1], x[13], x[25], x[37], x[49], x[61], x[73], x[85], x[97], x[109], x[121]], 0);
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[2], x[14], x[26], x[38], x[50], x[62], x[74], x[86], x[98], x[110], x[122]], 0);
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[3], x[15], x[27], x[39], x[51], x[63], x[75], x[87], x[99], x[111], x[123]], -7);
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[4], x[16], x[28], x[40], x[52], x[64], x[76], x[88], x[100], x[112], x[124]], -1);
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[5], x[17], x[29], x[41], x[53], x[65], x[77], x[89], x[101], x[113], x[125]], -6);
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[6], x[18], x[30], x[42], x[54], x[66], x[78], x[90], x[102], x[114], x[126]], -3);
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[7], x[19], x[31], x[43], x[55], x[67], x[79], x[91], x[103], x[115], x[127]], -4);
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[8], x[20], x[32], x[44], x[56], x[68], x[80], x[92], x[104], x[116], x[128]], -5);
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[9], x[21], x[33], x[45], x[57], x[69], x[81], x[93], x[105], x[117], x[129]], -2);
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[10], x[22], x[34], x[46], x[58], x[70], x[82], x[94], x[106], x[118], x[130]], -7);
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[11], x[23], x[35], x[47], x[59], x[71], x[83], x[95], x[107], x[119], x[131]], 0);
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[12], x[24], x[36], x[48], x[60], x[72], x[84], x[96], x[108], x[120], x[132]], 0);
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[9], x[10], x[11], x[12]], 0);
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[13], x[14], x[15], x[16], x[17], x[18], x[19], x[20], x[21], x[22], x[23], x[24]], 0);
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[25], x[26], x[27], x[28], x[29], x[30], x[31], x[32], x[33], x[34], x[35], x[36]], -8);
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[37], x[38], x[39], x[40], x[41], x[42], x[43], x[44], x[45], x[46], x[47], x[48]], -2);
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[49], x[50], x[51], x[52], x[53], x[54], x[55], x[56], x[57], x[58], x[59], x[60]], -6);
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[61], x[62], x[63], x[64], x[65], x[66], x[67], x[68], x[69], x[70], x[71], x[72]], -4);
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[73], x[74], x[75], x[76], x[77], x[78], x[79], x[80], x[81], x[82], x[83], x[84]], -5);
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[85], x[86], x[87], x[88], x[89], x[90], x[91], x[92], x[93], x[94], x[95], x[96]], -3);
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[97], x[98], x[99], x[100], x[101], x[102], x[103], x[104], x[105], x[106], x[107], x[108]], -7);
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[109], x[110], x[111], x[112], x[113], x[114], x[115], x[116], x[117], x[118], x[119], x[120]], 0);
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1], [x[121], x[122], x[123], x[124], x[125], x[126], x[127], x[128], x[129], x[130], x[131], x[132]], 0);
solve satisfy;