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
|
\ 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 ;
\ sos c01: type1: x[1];
\ sos c02: type1 priority 10 : x[1] + 2 * x[2];
\ sos c03: type2: x[1] * 3 + 2 * x[2] + x[1];
\ sos c04: type1 priority 60 : 3 * (x[1] + 2 * x[2]) + x[4];
\ sos c05: type2 : sum <i> in A do i * x[i];
\ sos c06: type1 : - x[5] - 2 * sum <i> in A with i > 3 do i * x[i] + x[3] * 2 + 90 * y[1] + 62 * y[2];
\ sos c07: type2 : sum <i> in A: a[i] * x[i];
\ sos c08: forall <i> in A do type2 priority 5 : sum <j> in B: (a[j] + i) * y[j];
\Problem name: sos.zpl
Minimize
Objective:
Subject to
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
SOS
c01_1:S1:: x#1:1
c02_1:S1:: x#2:2 x#1:1
c03_1:S2:: x#1:1 x#2:2 x#1:3
c04_1:S1:: x#4:1 x#2:6 x#1:3
c05_1:S2:: x#5:5 x#4:4 x#3:3 x#2:2 x#1:1
c06_1:S1:: y#2:62 y#1:90 x#3:2 x#5:-10 x#4:-8 x#5:-1
c07_1:S2:: x#5:5 x#4:4 x#3:3 x#2:2 x#1:1
c08_1:S2:: y#5:6 y#4:5 y#3:4 y#2:3 y#1:2
c08_2:S2:: y#5:7 y#4:6 y#3:5 y#2:4 y#1:3
c08_3:S2:: y#5:8 y#4:7 y#3:6 y#2:5 y#1:4
c08_4:S2:: y#5:9 y#4:8 y#3:7 y#2:6 y#1:5
c08_5:S2:: y#5:10 y#4:9 y#3:8 y#2:7 y#1:6
End
|
