File: RegularityCheck.lp

package info (click to toggle)
topcom 1.2.0~beta%2Bds-1
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 148,596 kB
  • sloc: cpp: 40,956; sh: 4,663; makefile: 679; ansic: 55
file content (21 lines) | stat: -rw-r--r-- 429 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
 
Problem
 RegularityCheck
Maximize
Subject To
 c0:  3 x0 +  x2 - 8 x3 + 4 x4 >= 1
 c1:  -  x0 +  x1 + 4 x3 - 4 x4 >= 1
 c2:   x0 + 3 x1 - 8 x4 + 4 x5 >= 1
 c3:  -  x1 +  x2 + 4 x4 - 4 x5 >= 1
 c4:   x0 -  x2 - 4 x3 + 4 x5 >= 1
 c5:   x1 + 3 x2 + 4 x3 - 8 x5 >= 1
 c6:   x0 - 3 x3 +  x4 +  x5 >= 1
 c7:   x2 +  x3 +  x4 - 3 x5 >= 1
 c8:   x1 +  x3 - 3 x4 +  x5 >= 1
Bounds
 x0 free
 x1 free
 x2 free
 x3 free
 x4 free
 x5 free
End