lean4-htt/src/tests/util/lp/samp2.mps
Lev Nachmanson fbb3ed8911 feat(lp): add LP solver and incremental LU factorization
Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
2016-02-05 10:04:34 -08:00

27 lines
853 B
Text

NAME SAMP2
ROWS
N Z
G R1
G R2
G R3
COLUMNS
X1 R1 2.0 R2 1.0
X1 R3 5.0 Z 3.0
X2 R1 -1.0 R2 -1.0
X2 R3 3.0 Z 7.0
X3 R1 1.0 R2 -6.0
X3 Z -1.0
X4 R1 -1.0 R2 4.0
X4 R3 1.0 Z 1.0
RHS
RHS1 R1 1.0
RHS1 R2 8.0
RHS1 R3 5.0
BOUNDS
UP BND1 X1 4.0
LO BND1 X2 2.0
UI BND1 X2 5.0
BV BND1 X3
LO BND1 X4 3.0
UP BND1 X4 8.0
ENDATA