116 lines
4.0 KiB
MiniZinc
116 lines
4.0 KiB
MiniZinc
array [1..112] of var int: d_roots :: output_array([1..112]);
|
|
var 7..7: d_x :: output_var = 7;
|
|
constraint int_eq(d_roots[1], 1);
|
|
constraint int_eq(d_roots[2], 2);
|
|
constraint int_eq(d_roots[3], 3);
|
|
constraint int_eq(d_roots[4], 4);
|
|
constraint int_eq(d_roots[5], 5);
|
|
constraint int_eq(d_roots[6], 6);
|
|
constraint int_eq(d_roots[7], 7);
|
|
constraint int_eq(d_roots[8], 8);
|
|
constraint int_eq(d_roots[9], 9);
|
|
constraint int_eq(d_roots[10], 1);
|
|
constraint int_eq(d_roots[11], 2);
|
|
constraint int_eq(d_roots[12], 3);
|
|
constraint int_eq(d_roots[13], 4);
|
|
constraint int_eq(d_roots[14], 5);
|
|
constraint int_eq(d_roots[15], 6);
|
|
constraint int_eq(d_roots[16], 7);
|
|
constraint int_eq(d_roots[17], 8);
|
|
constraint int_eq(d_roots[18], 9);
|
|
constraint int_eq(d_roots[19], 1);
|
|
constraint int_eq(d_roots[20], 2);
|
|
constraint int_eq(d_roots[21], 3);
|
|
constraint int_eq(d_roots[22], 4);
|
|
constraint int_eq(d_roots[23], 5);
|
|
constraint int_eq(d_roots[24], 6);
|
|
constraint int_eq(d_roots[25], 7);
|
|
constraint int_eq(d_roots[26], 8);
|
|
constraint int_eq(d_roots[27], 9);
|
|
constraint int_eq(d_roots[28], 1);
|
|
constraint int_eq(d_roots[29], 2);
|
|
constraint int_eq(d_roots[30], 3);
|
|
constraint int_eq(d_roots[31], 4);
|
|
constraint int_eq(d_roots[32], 5);
|
|
constraint int_eq(d_roots[33], 6);
|
|
constraint int_eq(d_roots[34], 7);
|
|
constraint int_eq(d_roots[35], 8);
|
|
constraint int_eq(d_roots[36], 9);
|
|
constraint int_eq(d_roots[37], 1);
|
|
constraint int_eq(d_roots[38], 2);
|
|
constraint int_eq(d_roots[39], 3);
|
|
constraint int_eq(d_roots[40], 4);
|
|
constraint int_eq(d_roots[41], 5);
|
|
constraint int_eq(d_roots[42], 6);
|
|
constraint int_eq(d_roots[43], 7);
|
|
constraint int_eq(d_roots[44], 8);
|
|
constraint int_eq(d_roots[45], 9);
|
|
constraint int_eq(d_roots[46], 1);
|
|
constraint int_eq(d_roots[47], 2);
|
|
constraint int_eq(d_roots[48], 3);
|
|
constraint int_eq(d_roots[49], 4);
|
|
constraint int_eq(d_roots[50], 5);
|
|
constraint int_eq(d_roots[51], 6);
|
|
constraint int_eq(d_roots[52], 7);
|
|
constraint int_eq(d_roots[53], 8);
|
|
constraint int_eq(d_roots[54], 9);
|
|
constraint int_eq(d_roots[55], 1);
|
|
constraint int_eq(d_roots[56], 2);
|
|
constraint int_eq(d_roots[57], 3);
|
|
constraint int_eq(d_roots[58], 4);
|
|
constraint int_eq(d_roots[59], 5);
|
|
constraint int_eq(d_roots[60], 6);
|
|
constraint int_eq(d_roots[61], 7);
|
|
constraint int_eq(d_roots[62], 8);
|
|
constraint int_eq(d_roots[63], 9);
|
|
constraint int_eq(d_roots[64], 1);
|
|
constraint int_eq(d_roots[65], 2);
|
|
constraint int_eq(d_roots[66], 3);
|
|
constraint int_eq(d_roots[67], 4);
|
|
constraint int_eq(d_roots[68], 5);
|
|
constraint int_eq(d_roots[69], 6);
|
|
constraint int_eq(d_roots[70], 7);
|
|
constraint int_eq(d_roots[71], 8);
|
|
constraint int_eq(d_roots[72], 9);
|
|
constraint int_eq(d_roots[73], 1);
|
|
constraint int_eq(d_roots[74], 2);
|
|
constraint int_eq(d_roots[75], 3);
|
|
constraint int_eq(d_roots[76], 4);
|
|
constraint int_eq(d_roots[77], 5);
|
|
constraint int_eq(d_roots[78], 6);
|
|
constraint int_eq(d_roots[79], 7);
|
|
constraint int_eq(d_roots[80], 8);
|
|
constraint int_eq(d_roots[81], 9);
|
|
constraint int_eq(d_roots[82], 1);
|
|
constraint int_eq(d_roots[83], 2);
|
|
constraint int_eq(d_roots[84], 3);
|
|
constraint int_eq(d_roots[85], 4);
|
|
constraint int_eq(d_roots[86], 5);
|
|
constraint int_eq(d_roots[87], 6);
|
|
constraint int_eq(d_roots[88], 7);
|
|
constraint int_eq(d_roots[89], 8);
|
|
constraint int_eq(d_roots[90], 9);
|
|
constraint int_eq(d_roots[91], 1);
|
|
constraint int_eq(d_roots[92], 2);
|
|
constraint int_eq(d_roots[93], 3);
|
|
constraint int_eq(d_roots[94], 4);
|
|
constraint int_eq(d_roots[95], 5);
|
|
constraint int_eq(d_roots[96], 6);
|
|
constraint int_eq(d_roots[97], 7);
|
|
constraint int_eq(d_roots[98], 8);
|
|
constraint int_eq(d_roots[99], 9);
|
|
constraint int_eq(d_roots[100], 1);
|
|
constraint int_eq(d_roots[101], 2);
|
|
constraint int_eq(d_roots[102], 3);
|
|
constraint int_eq(d_roots[103], 4);
|
|
constraint int_eq(d_roots[104], 5);
|
|
constraint int_eq(d_roots[105], 6);
|
|
constraint int_eq(d_roots[106], 7);
|
|
constraint int_eq(d_roots[107], 8);
|
|
constraint int_eq(d_roots[108], 9);
|
|
constraint int_eq(d_roots[109], 1);
|
|
constraint int_eq(d_roots[110], 2);
|
|
constraint int_eq(d_roots[111], 3);
|
|
constraint int_eq(d_roots[112], 4);
|
|
solve :: int_search(d_roots, first_fail, indomain, complete) satisfy;
|