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