File: expr.lp.ref

package info (click to toggle)
zimpl 2.05.ds2-1
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 2,644 kB
  • ctags: 2,404
  • sloc: ansic: 16,953; yacc: 814; lex: 304; sh: 182; makefile: 181
file content (54 lines) | stat: -rw-r--r-- 1,072 bytes parent folder | download
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
\This file was automatically generated by Zimpl
\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
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