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
|
\ This file was automatically generated by Zimpl
\ set I := { 1 to 5 };
\ var x;
\ var y;
\ var z[<i> in I] >= if (i >= 3) then -infinity else 10 end <= 100 ;
\ subto c1: forall <i> in I do if i > 2 then if i > 4 then i * x <= 5 and i * 2 * y <= 10 else
\ i * z[i] <= 7 end end;
\ subto c2: forall <i> in I do if i > 2 then if i > 4 then i * x <= 5 and i * 2 * y <= 10 end els
\ e i * z[i] <= 7 end;
\ subto c3: forall <i> in I: if (i > 3) then if (i == 4) then z[1] + z[2] == i else z[2] + z[3] == i
\ end and z[3] + z[4] == i and z[4] + z[5] == i else if (i == 2) then z[1] + z[2] == i + 10
\ else z[2] + z[3] == i + 10 end and z[3] + z[4] == i + 10 and z[4] + z[5] == i + 10 end;
\Problem name: condit.zpl
Minimize
Objective:
Subject to
c1_1:
+3 z#3 <= 7
c1_2:
+4 z#4 <= 7
c1_3:
+5 x <= 5
c1_4:
+10 y <= 10
c2_1:
+ z#1 <= 7
c2_2:
+2 z#2 <= 7
c2_3:
+5 x <= 5
c2_4:
+10 y <= 10
c3_1:
+ z#3 + z#2 = 11
c3_2:
+ z#4 + z#3 = 11
c3_3:
+ z#5 + z#4 = 11
c3_4:
+ z#2 + z#1 = 12
c3_5:
+ z#4 + z#3 = 12
c3_6:
+ z#5 + z#4 = 12
c3_7:
+ z#3 + z#2 = 13
c3_8:
+ z#4 + z#3 = 13
c3_9:
+ z#5 + z#4 = 13
c3_10:
+ z#2 + z#1 = 4
c3_11:
+ z#4 + z#3 = 4
c3_12:
+ z#5 + z#4 = 4
c3_13:
+ z#3 + z#2 = 5
c3_14:
+ z#4 + z#3 = 5
c3_15:
+ z#5 + z#4 = 5
Bounds
0 <= x <= +inf
0 <= y <= +inf
10 <= z#1 <= 100
10 <= z#2 <= 100
-inf <= z#3 <= 100
-inf <= z#4 <= 100
-inf <= z#5 <= 100
End
|
