this repo has no description
dekker.one
1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3% RUNS ON mzn20_fd_linear
4% RUNS ON mzn20_mip
5%-----------------------------------------------------------------------------
6% Solving 20 linear equations
7%
8% Guido Tack, tack@gecode.org
9% 2007-02-22
10%
11% Ported from the Gecode example
12%
13%-----------------------------------------------------------------------------
14
15array[0..6] of var 0..10: x;
16
17constraint
18 -76706*x[0] + 98205*x[1] + 23445*x[2] + 67921*x[3] + 24111*x[4] +
19 -48614*x[5] + -41906*x[6]
20 = 821228 /\
21 87059*x[0] + -29101*x[1] + -5513*x[2] + -21219*x[3] + 22128*x[4] +
22 7276*x[5] + 57308*x[6]
23 = 22167 /\
24 -60113*x[0] + 29475*x[1] + 34421*x[2] + -76870*x[3] + 62646*x[4] +
25 29278*x[5] + -15212*x[6]
26 = 251591 /\
27 49149*x[0] + 52871*x[1] + -7132*x[2] + 56728*x[3] + -33576*x[4] +
28 -49530*x[5] + -62089*x[6]
29 = 146074 /\
30 -10343*x[0] + 87758*x[1] + -11782*x[2] + 19346*x[3] + 70072*x[4] +
31 -36991*x[5] + 44529*x[6]
32 = 740061 /\
33 85176*x[0] + -95332*x[1] + -1268*x[2] + 57898*x[3] + 15883*x[4] +
34 50547*x[5] + 83287*x[6]
35 = 373854 /\
36 -85698*x[0] + 29958*x[1] + 57308*x[2] + 48789*x[3] + -78219*x[4] +
37 4657*x[5] + 34539*x[6]
38 = 249912 /\
39 -67456*x[0] + 84750*x[1] + -51553*x[2] + 21239*x[3] + 81675*x[4] +
40 -99395*x[5] + -4254*x[6]
41 = 277271 /\
42 94016*x[0] + -82071*x[1] + 35961*x[2] + 66597*x[3] + -30705*x[4] +
43 -44404*x[5] + -38304*x[6]
44 = 25334 /\
45 -60301*x[0] + 31227*x[1] + 93951*x[2] + 73889*x[3] + 81526*x[4] +
46 -72702*x[5] + 68026*x[6]
47 = 1410723 /\
48 -16835*x[0] + 47385*x[1] + 97715*x[2] + -12640*x[3] + 69028*x[4] +
49 76212*x[5] + -81102*x[6]
50 = 1244857 /\
51 -43277*x[0] + 43525*x[1] + 92298*x[2] + 58630*x[3] + 92590*x[4] +
52 -9372*x[5] + -60227*x[6]
53 = 1503588 /\
54 -64919*x[0] + 80460*x[1] + 90840*x[2] + -59624*x[3] + -75542*x[4] +
55 25145*x[5] + -47935*x[6]
56 = 18465 /\
57 -45086*x[0] + 51830*x[1] + -4578*x[2] + 96120*x[3] + 21231*x[4] +
58 97919*x[5] + 65651*x[6]
59 = 1198280 /\
60 85268*x[0] + 54180*x[1] + -18810*x[2] + -48219*x[3] + 6013*x[4] +
61 78169*x[5] + -79785*x[6]
62 = 90614 /\
63 8874*x[0] + -58412*x[1] + 73947*x[2] + 17147*x[3] + 62335*x[4] +
64 16005*x[5] + 8632*x[6]
65 = 752447 /\
66 71202*x[0] + -11119*x[1] + 73017*x[2] + -38875*x[3] + -14413*x[4] +
67 -29234*x[5] + 72370*x[6]
68 = 129768 /\
69 1671*x[0] + -34121*x[1] + 10763*x[2] + 80609*x[3] + 42532*x[4] +
70 93520*x[5] + -33488*x[6]
71 = 915683 /\
72 51637*x[0] + 67761*x[1] + 95951*x[2] + 3834*x[3] + -96722*x[4] +
73 59190*x[5] + 15280*x[6]
74 = 533909 /\
75 -16105*x[0] + 62397*x[1] + -6704*x[2] + 43340*x[3] + 95100*x[4] +
76 -68610*x[5] + 58301*x[6]
77 = 876370
78;
79
80solve satisfy;
81
82output [
83 "eq20 ",
84 show(x[0]), " ",
85 show(x[1]), " ",
86 show(x[2]), " ",
87 show(x[3]), " ",
88 show(x[4]), " ",
89 show(x[5]), "\n"
90];