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
|
\ This file was automatically generated by Zimpl
\ set A := { read "read1.dat" as "<1s>" };
\ set B := { read "read1.dat" as "<1n>" skip 5 use 100 comment "#" };
\ set C := { read "read2.dat" as "<1s,2n,3n,4n,5n,6n,7n,8n,9n,10n,11n,12n,13s>" comment "#[" };
\ set D := { read "read3.dat" as "<3n>" match " [0-9][0-9][0-9] " comment "ABCDEF" };
\ set E := {1..8}*{1..10000};
\ param a1 := card(A);
\ param b1 := sum <b> in B : b;
\ param c1 := sum <a,b,c,d,e,f,g,h,i,j,k,l,m> in C : (length(a) + b + c + d + e + f + g + h + i + j / (k + l + length(m)));
\ param d1 := sum <d> in D : d;
\ param mat[E] := read "read1.dat" as "n+" comment "#";
\ param e1 := (sum <1,i> in E : mat[1,i]) / (sum <5,i> in E : mat[5,i]) + (sum <i,j> in { 2, 3, 4, 6, 7, 8 }*{1..10000} : mat[i,j]);
\ param fix := read "read1.dat" as "2n" comment "#" use 1;
\ var x real >= -infinity <= infinity;
\ subto c1: x <= a1;
\ subto c2: x >= b1 - sum <i> in { 21 .. 417 by 4 } : i;
\ subto c3: e1 * x <= c1;
\ subto c4: fix * x == d1;
\Problem name: read.zpl
Minimize
Objective:
Subject to
c1_1:
+ x <= 20001
c2_1:
+ x >= 0
c3_1:
+2700030000.11112 x <= 355175050622.139
c4_1:
+2 x = 28
Bounds
-inf <= x <= +inf
End
|
