this repo has no description
dekker.one
1/***
2--- !Test
3options:
4 all_solutions: true
5solvers: [gecode, chuffed]
6expected: !Result
7 solution: !SolutionSet
8 - !Solution
9 a: 55
10 b: 10
11 - !Solution
12 a: 55
13 b: 11
14 - !Solution
15 a: 55
16 b: 12
17 - !Solution
18 a: 55
19 b: 13
20 - !Solution
21 a: 55
22 b: 14
23 - !Solution
24 a: 55
25 b: 15
26 - !Solution
27 a: 55
28 b: 16
29 - !Solution
30 a: 55
31 b: 17
32 - !Solution
33 a: 55
34 b: 18
35 - !Solution
36 a: 55
37 b: 19
38 - !Solution
39 a: 55
40 b: 20
41 - !Solution
42 a: 55
43 b: 21
44 - !Solution
45 a: 55
46 b: 22
47 - !Solution
48 a: 55
49 b: 23
50 - !Solution
51 a: 55
52 b: 24
53 - !Solution
54 a: 55
55 b: 25
56 - !Solution
57 a: 55
58 b: 26
59 - !Solution
60 a: 55
61 b: 27
62 - !Solution
63 a: 55
64 b: 28
65 - !Solution
66 a: 55
67 b: 29
68 - !Solution
69 a: 55
70 b: 30
71 - !Solution
72 a: 55
73 b: 31
74 - !Solution
75 a: 55
76 b: 32
77 - !Solution
78 a: 55
79 b: 33
80 - !Solution
81 a: 55
82 b: 34
83 - !Solution
84 a: 55
85 b: 35
86 - !Solution
87 a: 55
88 b: 36
89 - !Solution
90 a: 55
91 b: 37
92 - !Solution
93 a: 55
94 b: 38
95 - !Solution
96 a: 55
97 b: 39
98 - !Solution
99 a: 55
100 b: 40
101 - !Solution
102 a: 55
103 b: 4
104 - !Solution
105 a: 55
106 b: 5
107 - !Solution
108 a: 55
109 b: 6
110 - !Solution
111 a: 55
112 b: 7
113 - !Solution
114 a: 55
115 b: 8
116 - !Solution
117 a: 55
118 b: 9
119
120***/
121
122int: a :: add_to_output = sum([|1, 2, 3, 4, 5 | 6, 7, 8, 9, 10|]);
123
124array[1..2,1..2] of var 1..10: vs;
125var -100..100: b :: add_to_output = sum(vs);
126
127solve satisfy;
128
129output [
130 "% a = ", show(a), ";\n",
131 "b = ", show(b), ";\n"
132];