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
|
\ This file was automatically generated by Zimpl
\ set I := { 1 .. 5 };
\ set K := { -5 .. -1 };
\ var a1;
\ var b1 real;
\ var b2 real <= 10;
\ var b3 real >= 5/2;
\ var b4 real >= 2 <= 7/3;
\ var c1 <= 10;
\ var c2 >= -5/4;
\ var c3 >= 2 <= 7;
\ var c4 <= infinity;
\ var c5 >= -infinity <= -30;
\ var d1 binary;
\ var d2 binary priority 50;
\ var d3 binary startval 1;
\ var d4 binary priority 100 startval 1;
\ var e1 integer;
\ var e2 integer >= -5;
\ var e3 integer <= 10;
\ var e4 integer >= -2 <= 6;
\ var e5 integer >= 5 priority 10;
\ var e6 integer <= 10 startval 5;
\ var e7 integer >= 2 <= 6 priority 15 startval 4;
\ var x[I];
\ var y[<i> in I] integer >= -5 * i <= 6 * i priority 3 startval i;
\ var z[K];
\ var w[<i> in I] <= if (i <= 3) then i else infinity end;
\ subto ca1: a1 + sum <i> in I : x[i] >= 17;
\ subto cb1: b1 + b2 + b3 + b4 <= 99;
\ subto cc1: c1 + c2 + c3 + c4 + c5 <= 77;
\ subto cd1: d1 + d2 + d3 + d4>= 2;
\ subto ce1: e1 + e2 + e3 + e4 + e5 + e6 + e7 <= 18;
\ subto cy: sum <i> in I : y[i] == -6;
\ subto cd: sum <k> in K : k * z[k] <= -8;
\ subto cf: sum <i> in I : w[i] <= 17;
\Problem name: var.zpl
Minimize
Objective:
Subject to
ca1_1:
+ x#5 + x#4 + x#3 + x#2 + x#1 + a1
>= 17
cb1_1:
+ b4 + b3 + b2 + b1 <= 99
cc1_1:
+ c5 + c4 + c3 + c2 + c1 <= 77
cd1_1:
+ d4 + d3 + d2 + d1 >= 2
ce1_1:
+ e7 + e6 + e5 + e4 + e3 + e2
+ e1 <= 18
cy_1:
+ y#5 + y#4 + y#3 + y#2 + y#1 = -6
cd_1:
- z#_1@23 -2 z#_2@22 -3 z#_3@21 -4 z#_4@20 -5 z#_5@1f <= -8
cf_1:
+ w#5 + w#4 + w#3 + w#2 + w#1 <= 17
Bounds
0 <= a1 <= +inf
0 <= b1 <= +inf
0 <= b2 <= 10
2.5 <= b3 <= +inf
2 <= b4 <= 2.33333333333333
0 <= c1 <= 10
-1.25 <= c2 <= +inf
2 <= c3 <= 7
0 <= c4 <= +inf
-inf <= c5 <= -30
0 <= d1 <= 1
0 <= d2 <= 1
0 <= d3 <= 1
0 <= d4 <= 1
0 <= e1 <= +inf
-5 <= e2 <= +inf
0 <= e3 <= 10
-2 <= e4 <= 6
5 <= e5 <= +inf
0 <= e6 <= 10
2 <= e7 <= 6
0 <= x#1 <= +inf
0 <= x#2 <= +inf
0 <= x#3 <= +inf
0 <= x#4 <= +inf
0 <= x#5 <= +inf
-5 <= y#1 <= 6
-10 <= y#2 <= 12
-15 <= y#3 <= 18
-20 <= y#4 <= 24
-25 <= y#5 <= 30
0 <= z#_5@1f <= +inf
0 <= z#_4@20 <= +inf
0 <= z#_3@21 <= +inf
0 <= z#_2@22 <= +inf
0 <= z#_1@23 <= +inf
0 <= w#1 <= 1
0 <= w#2 <= 2
0 <= w#3 <= 3
0 <= w#4 <= +inf
0 <= w#5 <= +inf
General
d1
d2
d3
d4
e1
e2
e3
e4
e5
e6
e7
y#1
y#2
y#3
y#4
y#5
End
|
