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
|
\ This file was automatically generated by Zimpl
\ set I := { 1 .. 10 };
\ set S := { "moin", "hello", "ho" };
\ param a[<i> in I] := i + 3;
\ var x[I];
\ subto c01: (3 * a[1] + 5) * x[1] >= a[2] * 2 - 4;
\ subto c02: a[1] mod 2 >= x[1] / 7;
\ subto c03: a[1] div 2 >= x[1] - 3;
\ subto c04: card(I) * x[1] >= abs(a[1] - a[2]);
\ subto c05: a[1]^a[2] <= x[1] * 3!;
\ subto c06: floor(a[1] / 3) <= x[2] * ceil(a[2] / 7);
\ subto c07: -exp(ln(a[4])) >= -x[3];
\ subto c08: x[3] + log(10) == -6;
\ subto c09: (min <i> in I : a[i]) * x[1] >= x[2] * max <i> in I : a[i];
\ subto c10: x[1] * if sum <i> in I : a[i] > 20 then 2 else -4 end >= 5;
\ subto c11: a[1]^-a[2] >= x[2] / 100;
\ subto c12: x[3] >= min(6, 2/7, a[1], a[3]);
\ subto c13: x[3] <= max(6, 2/7, a[1], a[3]);
\ subto c14: sum <i> in {1..10} do i mod 8 * x[i] >= 5;
\ subto c15: sum <i> in I do sgn(5 - i) * x[i] >= 3;
\ subto c16: sum <i> in I do random(10,20) * x[i] >= random(50,1000);
\ subto c17: x[min I] <= x[max I];
\ subto c18: (prod <i> in I with i < 4 : a[i]) * x[1] <= 800;
\ subto c19: sum <s> in S with substr(s, 1, 1) == "o" : x[length(s)] >= 2;
\ subto c20: sum <s> in S with substr(s, -1, 1) == "o" : x[length(s)] >= 2;
\ subto c21: sum <s> in S with substr(s, 2, 2) == "ll" : x[length(s)] <= 2;
\ subto c22: sum <s> in S with substr(s, -6, 5) != "" : x[length(s)] <= 2;
\ subto c23: sum <i> in { 4, 9, 16 }: x[sqrt(i)] >= 5;
\Problem name: expr.zpl
Minimize
Objective:
Subject to
c01_1:
+17 x#1 >= 6
c02_1:
-0.142857142857143 x#1 >= 0
c03_1:
- x#1 >= -5
c04_1:
+10 x#1 >= 1
c05_1:
-6 x#1 <= -1024
c06_1:
- x#2 <= -1
c07_1:
+ x#3 >= 7
c08_1:
+ x#3 = -7
c09_1:
-13 x#2 +4 x#1 >= 0
c10_1:
+2 x#1 >= 5
c11_1:
-0.01 x#2 >= -0.0009765625
c12_1:
+ x#3 >= 0.285714285714286
c13_1:
+ x#3 <= 6
c14_1:
+2 x#10 + x#9 +7 x#7 +6 x#6 +5 x#5 +4 x#4
+3 x#3 +2 x#2 + x#1 >= 5
c15_1:
- x#10 - x#9 - x#8 - x#7 - x#6 + x#4
+ x#3 + x#2 + x#1 >= 3
c16_1:
+17.9001148738666 x#10 +11.5917902233991 x#9 +18.3648624686442 x#8 +12.5420364510599 x#7 +15.8814903897889 x#6 +18.6992346422512 x#5
+14.2337213163808 x#4 +17.3649246844847 x#3 +17.3913663526511 x#2 +11.3414655791925 x#1 >= 393.855458973873
c17_1:
- x#10 + x#1 <= 0
c18_1:
+120 x#1 <= 800
c19_1:
+ x#2 + x#4 >= 2
c20_1:
+ x#2 + x#5 >= 2
c21_1:
+ x#5 <= 2
c22_1:
+ x#2 + x#5 + x#4 <= 2
c23_1:
+ x#4 + x#3 + x#2 >= 5
Bounds
0 <= x#1 <= +inf
0 <= x#2 <= +inf
0 <= x#3 <= +inf
0 <= x#4 <= +inf
0 <= x#5 <= +inf
0 <= x#6 <= +inf
0 <= x#7 <= +inf
0 <= x#8 <= +inf
0 <= x#9 <= +inf
0 <= x#10 <= +inf
End
|
