1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
|
\ This file was automatically generated by Zimpl
\ set A := { 1 to 5 };
\ set B := { 1 to 5 };
\ var x[A];
\ var y[B];
\ param a[A] := <1> 1, <2> 2, <3> 3, <4> 4, <5> 5 ;
\ minimize cost: x[1] + x[2] + 17;
\ subto c01: x[1] <= 5;
\ subto c02: x[1] + x[2] <= 5;
\ subto c03: 3 * x[1] <= 5;
\ subto c04: x[1] * 3 <= 5;
\ subto c05: 3 * x[1] + x[2] <= 5;
\ subto c06: x[1] + 3 * x[2] <= 5;
\ subto c07: 3 * (x[1] + x[2]) <= 5;
\ subto c08: (x[1] + x[2]) * 3 <= 5;
\ subto c10: sum <i> in A do x[i] <= 5;
\ subto c11: sum <i> in A do 3 * x[i] <= 5;
\ subto c12: sum <i> in A do (x[i] * 4) <= 5;
\ subto c13: (sum <i> in A do x[i]) * 4 <= 5;
\ subto c14: sum <i> in A do x[i] * 4 <= 5;
\ subto c15: 5 * sum <i> in A do x[i] <= 5;
\ subto c16: - x[5] - 2 * sum <i> in A with i < 3 do x[i] + x[4] * 3 <= 5;
\ subto c17: + x[5] - 2 * sum <i> in A with i < 3 do 7 * x[i] + 3 * x[4] <= 5;
\ subto c18: + x[5] - 1.5 * (2 * sum <i> in A with i < 3 do 7 * x[i] + 3 * x[4]) <= 5;
\ subto c20: sum <i> in A : x[i] + sum <j> in B : y[j] >= 2;
\ subto c21: 6 * (sum <i> in A : x[i] + sum <j> in B : y[j]) >= 2;
\ subto c22: sum <i> in A : sum <j> in B with j > i : (x[i] + y[j]) >= 2;
\ subto c23: 3 * sum <i> in A : 2 * sum <j> in B with j > i : (x[i] + y[j]) + 77 * x[5] <= 88;
\ subto c24: forall <i> in A : sum <j> in B : 3 * x[j] * 4 <= 17;
\ subto c25: y[1] + sum <i> in A : x[i] + y[2] <= 15;
\ subto c26: y[1] + sum <i> in A : (x[i] + y[2]) <= 15;
\ subto c27: y[1] + (sum <i> in A : x[i] + y[2]) <= 15;
\ subto c30: x[1] <= y[2];
\ subto c31: sum <i> in A : x[i] -5 <= sum <j> in B : y[j] + 12;
\ subto c32: x[1] + 5 >= x[2];
\ subto c33: 5 <= x[1];
\ subto c34: x[1] >= 5 + x[2];
\ subto c35: 5 + x[1] >= x[2];
\ subto c36: 5 <= 6;
\ subto c37: -5 + x[1] >= x[2];
\ subto c38: x[1] == a[1] + sum <i> in A do a[i]*x[i];
\ subto c39: x[1] == a[1] + sum <i> in A do x[i]*a[i];
\ subto c40: x[1] == a[1] + 2 * sum <i> in A do 2*a[i]*x[i]*3 + 4;
\ subto c41: x[1] == a[1] + 2 * sum <i> in A do 2*x[i]*a[i]*3 + 4;
\ subto c42: 17 <= x[1] + x[2] <= 23;
\ subto c43: 13 * a[1] / 2 >= sum <i> in A do a[i]*x[i] + 6 >= a[2];
\ subto c44: sum <i> in A with i < 5: 10^-i * x[i] >= 5, scale;
\ subto c45: sum <i> in A : 0.0001 * x[i] >= 6, scale;
\Problem name: subto.zpl
Minimize
cost: + x#1 + x#2 +17 __ObjOffset@a
Subject to
c01_1:
+ x#1 <= 5
c02_1:
+ x#2 + x#1 <= 5
c03_1:
+3 x#1 <= 5
c04_1:
+3 x#1 <= 5
c05_1:
+ x#2 +3 x#1 <= 5
c06_1:
+3 x#2 + x#1 <= 5
c07_1:
+3 x#2 +3 x#1 <= 5
c08_1:
+3 x#2 +3 x#1 <= 5
c10_1:
+ x#5 + x#4 + x#3 + x#2 + x#1 <= 5
c11_1:
+3 x#5 +3 x#4 +3 x#3 +3 x#2 +3 x#1 <= 5
c12_1:
+4 x#5 +4 x#4 +4 x#3 +4 x#2 +4 x#1 <= 5
c13_1:
+4 x#5 +4 x#4 +4 x#3 +4 x#2 +4 x#1 <= 5
c14_1:
+4 x#5 +4 x#4 +4 x#3 +4 x#2 +4 x#1 <= 5
c15_1:
+5 x#5 +5 x#4 +5 x#3 +5 x#2 +5 x#1 <= 5
c16_1:
+3 x#4 -2 x#2 -2 x#1 - x#5 <= 5
c17_1:
+3 x#4 -14 x#2 -14 x#1 + x#5 <= 5
c18_1:
-4.5 x#4 -21 x#2 -21 x#1 + x#5 <= 5
c20_1:
+ y#5 + y#4 + y#3 + y#2 + y#1 + x#5
+ x#4 + x#3 + x#2 + x#1 >= 2
c21_1:
+6 y#5 +6 y#4 +6 y#3 +6 y#2 +6 y#1 +6 x#5
+6 x#4 +6 x#3 +6 x#2 +6 x#1 >= 2
c22_1:
+ x#4 +2 x#3 +3 x#2 +4 y#5 +3 y#4 +2 y#3
+ y#2 +4 x#1 >= 2
c23_1:
+77 x#5 +6 x#4 +12 x#3 +18 x#2 +24 y#5 +18 y#4
+12 y#3 +6 y#2 +24 x#1 <= 88
c24_1:
+12 x#5 +12 x#4 +12 x#3 +12 x#2 +12 x#1 <= 17
c24_2:
+12 x#5 +12 x#4 +12 x#3 +12 x#2 +12 x#1 <= 17
c24_3:
+12 x#5 +12 x#4 +12 x#3 +12 x#2 +12 x#1 <= 17
c24_4:
+12 x#5 +12 x#4 +12 x#3 +12 x#2 +12 x#1 <= 17
c24_5:
+12 x#5 +12 x#4 +12 x#3 +12 x#2 +12 x#1 <= 17
c25_1:
+ y#2 + x#5 + x#4 + x#3 + x#2 + x#1
+ y#1 <= 15
c26_1:
+ x#5 + x#4 + x#3 + x#2 +5 y#2 + x#1
+ y#1 <= 15
c27_1:
+ y#2 + x#5 + x#4 + x#3 + x#2 + x#1
+ y#1 <= 15
c30_1:
- y#2 + x#1 <= 0
c31_1:
- y#5 - y#4 - y#3 - y#2 - y#1 + x#5
+ x#4 + x#3 + x#2 + x#1 <= 17
c32_1:
- x#2 + x#1 >= -5
c33_1:
- x#1 <= -5
c34_1:
- x#2 + x#1 >= 5
c35_1:
- x#2 + x#1 >= -5
c37_1:
- x#2 + x#1 >= 5
c38_1:
-4 x#4 -3 x#3 -2 x#2 -5 x#5 = 1
c39_1:
-4 x#4 -3 x#3 -2 x#2 -5 x#5 = 1
c40_1:
-60 x#5 -48 x#4 -36 x#3 -24 x#2 -11 x#1 = 5
c41_1:
-60 x#5 -48 x#4 -36 x#3 -24 x#2 -11 x#1 = 5
c42_1R:
+ x#2 + x#1 <= 23
c42_1L:
+ x#2 + x#1 >= 17
c43_1R:
+5 x#5 +4 x#4 +3 x#3 +2 x#2 + x#1 <= 0.5
c43_1L:
+5 x#5 +4 x#4 +3 x#3 +2 x#2 + x#1 >= -4
c44_1:
+0.001 x#4 +0.01 x#3 +0.1 x#2 + x#1 >= 50
c45_1:
+ x#5 + x#4 + x#3 + x#2 + x#1 >= 60000
Bounds
0 <= x#1 <= +inf
0 <= x#2 <= +inf
0 <= x#3 <= +inf
0 <= x#4 <= +inf
0 <= x#5 <= +inf
0 <= y#1 <= +inf
0 <= y#2 <= +inf
0 <= y#3 <= +inf
0 <= y#4 <= +inf
0 <= y#5 <= +inf
__ObjOffset@a = 1
End
|
