lpsolver 0.1.0 → 0.2.1

data/ext/lpsolver-highs/check/instances/issue-2585.lp

@@ -0,0 +1,16 @@
+Minimize -24 a + 5 b + 7.4 c + 9 d
+Subject To
+96.55 a - 32.45 c + 88.78 d <= 1216.06
+-3.14 a - 78.02 b <= -50.5404
+11.8 b - 21.94 c <= 3.422
+91.59 c - 10.58 d <= -35.25
+79.17 a + 1.73 b - 73.23 d <= 411.403
+-10.61 a - 94.66 b + 76.88 d <= 195.69
+Bounds
+ -100 <= a <= 100
+ -100 <= b <= 100
+ -100 <= c <= 100
+ -100 <= d <= 100
+Generals
+c d
+End

data/ext/lpsolver-highs/check/instances/issue-2874-3.mps

@@ -0,0 +1,97 @@
+*SENSE:Minimize
+NAME          infeasible
+ROWS
+ N  OBJ
+ L  c0
+ L  c1
+ L  c2
+ L  c3
+ L  c4
+ L  c5
+ G  c6
+ G  c7
+ L  c8
+ G  c9
+ L  c10
+ G  c11
+ L  c12
+ L  c13
+ G  c14
+ L  fbc
+COLUMNS
+    x0        c0         4.574000000000e+01
+    x0        c1         5.408000000000e+01
+    x0        c2        -7.640000000000e+01
+    x0        c6         1.996000000000e+01
+    x0        c7         2.097000000000e+01
+    x0        c8         2.751000000000e+01
+    x0        c12       -8.771000000000e+01
+    x0        fbc       -2.325300000000e+02
+    x0        OBJ       -1.441200000000e+02
+    MARK      'MARKER'                 'INTORG'
+    x1        c1        -2.037000000000e+01
+    x1        c3         3.572000000000e+01
+    x1        c4        -7.836000000000e+01
+    x1        c5        -5.114000000000e+01
+    x1        c6         8.110000000000e+01
+    x1        c7         9.747000000000e+01
+    x1        c9         8.775000000000e+01
+    x1        fbc        1.443900000000e+02
+    x1        OBJ        3.564200000000e+02
+    MARK      'MARKER'                 'INTEND'
+    MARK      'MARKER'                 'INTORG'
+    x2        c4         8.441000000000e+01
+    x2        c6        -8.157000000000e+01
+    x2        c8        -7.323000000000e+01
+    x2        c9         7.275000000000e+01
+    x2        c11        1.251000000000e+01
+    x2        c12       -5.719000000000e+01
+    x2        c13       -2.937000000000e+01
+    x2        c14        4.682000000000e+01
+    x2        fbc       -2.628700000000e+02
+    x2        OBJ        2.861000000000e+02
+    MARK      'MARKER'                 'INTEND'
+    MARK      'MARKER'                 'INTORG'
+    x3        c0        -1.159000000000e+01
+    x3        c2        -7.664000000000e+01
+    x3        c3        -5.846000000000e+01
+    x3        c4        -9.255000000000e+01
+    x3        c5        -7.288000000000e+01
+    x3        c6         8.510000000000e+01
+    x3        c7        -4.259000000000e+01
+    x3        c8        -3.253000000000e+01
+    x3        c9        -7.640000000000e+00
+    x3        c10       -3.134000000000e+01
+    x3        c12       -4.154000000000e+01
+    x3        c13       -8.172000000000e+01
+    x3        c14        3.100000000000e-01
+    x3        fbc       -4.782900000000e+02
+    x3        OBJ        3.586700000000e+02
+    MARK      'MARKER'                 'INTEND'
+RHS
+    RHS       c0         7.109273000000e+02
+    RHS       c1        -4.352700000000e+02
+    RHS       c2        -6.221636000000e+02
+    RHS       c3         4.069030000000e+01
+    RHS       c4         1.097705400000e+03
+    RHS       c5        -1.448770300000e+03
+    RHS       c6         1.319156000000e+03
+    RHS       c7         2.038400000000e+00
+    RHS       c8        -1.754953000000e+02
+    RHS       c9         5.508521000000e+02
+    RHS       c10       -5.258120000000e+02
+    RHS       c11       -1.694990000000e+01
+    RHS       c12       -5.288200000000e+02
+    RHS       c13        4.331000000000e+02
+    RHS       c14        1.666860000000e+02
+    RHS       fbc       -6.980197398262e+04
+BOUNDS
+ LO BND       x0        -1.000000000000e+02
+ UP BND       x0         1.000000000000e+02
+ LO BND       x1        -1.000000000000e+02
+ UP BND       x1         1.000000000000e+02
+ LO BND       x2        -1.000000000000e+02
+ UP BND       x2         1.000000000000e+02
+ LO BND       x3        -1.000000000000e+02
+ UP BND       x3         1.000000000000e+02
+ENDATA

data/ext/lpsolver-highs/check/instances/klein1.mps

@@ -0,0 +1,422 @@
+NAME          KLEIN1
+ROWS
+ N  obj
+ G  c1
+ G  c2
+ G  c3
+ G  c4
+ G  c5
+ G  c6
+ G  c7
+ G  c8
+ G  c9
+ G  c10
+ G  c11
+ G  c12
+ G  c13
+ G  c14
+ G  c15
+ G  c16
+ G  c17
+ G  c18
+ G  c19
+ G  c20
+ G  c21
+ G  c22
+ G  c23
+ G  c24
+ G  c25
+ G  c26
+ G  c27
+ G  c28
+ G  c29
+ G  c30
+ G  c31
+ G  c32
+ G  c33
+ G  c34
+ G  c35
+ G  c36
+ G  c37
+ G  c38
+ G  c39
+ G  c40
+ G  c41
+ G  c42
+ G  c43
+ G  c44
+ G  c45
+ G  c46
+ G  c47
+ G  c48
+ G  c49
+ G  c50
+ G  c51
+ G  c52
+ G  c53
+ G  c54
+COLUMNS
+    x1        c49                36.   c50               126.
+    x1        c51                -1.   c52                -9.
+    x1        c53                 9.   c54               -36.
+    x2        c13               -16.   c14               -28.
+    x2        c48                -6.   c49               -16.
+    x2        c50              -112.   c51                 1.
+    x2        c52                 1.   c53                -9.
+    x2        c54                36.
+    x3        c47               105.   c51                -1.
+    x3        c52                -3.   c53                 9.
+    x3        c54               -36.
+    x4        c13                 8.   c14                14.
+    x4        c47               -35.   c48                -1.
+    x4        c49                 8.   c50                21.
+    x4        c52                 1.
+    x5        c7                -40.   c8               1000.
+    x5        c9              -2000.   c10              1980.
+    x5        c11               -30.   c12               -90.
+    x5        c47               -90.   c51                 1.
+    x5        c53                -9.   c54                36.
+    x6        c6                 30.   c7                -20.
+    x6        c8                -10.   c9                 20.
+    x6        c10                10.   c11                15.
+    x6        c12                45.   c13                -8.
+    x6        c14               -24.   c47                45.
+    x6        c49                -8.   c50               -51.
+    x7        c6                -20.   c7                 20.
+    x7        c10               -10.   c11                -5.
+    x7        c12               -15.   c14                10.
+    x7        c47               -15.   c48                 1.
+    x7        c50                30.
+    x8        c46                -5.   c51                -1.
+    x8        c53                 9.   c54               -26.
+    x9        c6                -30.   c7                 40.
+    x9        c8               -490.   c9                980.
+    x9        c10             -1000.   c13                 8.
+    x9        c14                24.   c40              1000.
+    x9        c41             -2000.   c42                20.
+    x9        c43               -40.   c44                -2.
+    x9        c45               -20.   c46                 1.
+    x9        c49                 8.   c50                21.
+    x10       c6                 30.   c7                -40.
+    x10       c8                490.   c9               -980.
+    x10       c10              1000.   c14               -10.
+    x10       c40             -1000.   c41              2000.
+    x10       c42               -10.   c43                20.
+    x10       c44                -2.   c45               -20.
+    x10       c46                -1.   c48                -1.
+    x10       c50               -10.
+    x11       c7                 20.   c8               -500.
+    x11       c9               1000.   c10              -990.
+    x11       c11                15.   c12                45.
+    x11       c40               990.   c41             -1980.
+    x11       c46                 1.   c47                15.
+    x12       c6                 -5.   c8                  5.
+    x12       c9                -10.   c11                -5.
+    x12       c12               -15.   c44                 1.
+    x12       c45                10.   c47                -5.
+    x13       c4                 -6.   c5                 24.
+    x13       c38                40.   c39                20.
+    x13       c51                 1.   c53                -9.
+    x13       c54                26.
+    x14       c3                -60.   c5                  6.
+    x14       c13                -8.   c14               -36.
+    x14       c38               -20.   c39               -10.
+    x14       c49                -8.   c50               -45.
+    x14       c54                 4.
+    x15       c1                 48.   c3                 48.
+    x15       c5                 -6.   c14                22.
+    x15       c37                24.   c38                20.
+    x15       c39                10.   c42                -4.
+    x15       c43                16.   c45                32.
+    x15       c48                 1.   c50                34.
+    x15       c54                -4.
+    x16       c2                -54.   c5                  6.
+    x16       c11               -27.   c12               -27.
+    x16       c38               -20.   c39               -10.
+    x16       c47               -39.   c54                 4.
+    x17       c1                -24.   c2                 18.
+    x17       c3                 -6.   c11                 9.
+    x17       c12                 9.   c14                -2.
+    x17       c37               -12.   c42                 2.
+    x17       c43                -8.   c45               -16.
+    x17       c47                13.   c50                -4.
+    x18       c2                 36.   c5                 -6.
+    x18       c7                 -8.   c8                300.
+    x18       c9               -400.   c10               594.
+    x18       c11                12.   c38                12.
+    x18       c39                 6.   c40              -396.
+    x18       c41              1584.   c47                24.
+    x18       c54                -4.
+    x19       c1                 12.   c2                -18.
+    x19       c3                 18.   c6                  9.
+    x19       c7                 -4.   c8                 -3.
+    x19       c9                  4.   c10                 3.
+    x19       c11                -6.   c14                 6.
+    x19       c40                -2.   c41                 8.
+    x19       c42                -4.   c43                16.
+    x19       c45                 8.   c47               -12.
+    x19       c50                12.
+    x20       c2                  6.   c3                -12.
+    x20       c6                 -6.   c7                  4.
+    x20       c10                -3.   c11                 2.
+    x20       c14                -4.   c37                 4.
+    x20       c40                 2.   c41                -8.
+    x20       c42                 2.   c43                -8.
+    x20       c47                 4.   c50                -8.
+    x21       c32                -7.   c33                21.
+    x21       c34               -63.   c35                21.
+    x21       c36               105.   c51                -1.
+    x21       c53                 6.   c54               -14.
+    x22       c3                 60.   c4                  3.
+    x22       c5                -18.   c13                 8.
+    x22       c14                36.   c28                15.
+    x22       c29               -45.   c30                 5.
+    x22       c31               -15.   c32                 1.
+    x22       c33                -3.   c34                18.
+    x22       c35                -6.   c36               -45.
+    x22       c49                 5.   c50                15.
+    x22       c54                -1.
+    x23       c3                -60.   c4                 -3.
+    x23       c5                 18.   c14               -22.
+    x23       c26                15.   c27                10.
+    x23       c28               -10.   c29                30.
+    x23       c30                10.   c31               -30.
+    x23       c32                -1.   c33                 3.
+    x23       c34                -3.   c35                 6.
+    x23       c36                15.   c48                -1.
+    x23       c50               -10.   c54                 1.
+    x24       c2                 54.   c4                  3.
+    x24       c5                -18.   c11                27.
+    x24       c12                27.   c22                12.
+    x24       c23               -36.   c24                 6.
+    x24       c25               -18.   c32                 1.
+    x24       c33                -3.   c34                 9.
+    x24       c35                -6.   c36               -39.
+    x24       c47                12.   c54                -1.
+    x25       c2                -18.   c3                 12.
+    x25       c11                -9.   c12                -9.
+    x25       c14                 2.   c22                -4.
+    x25       c23                12.   c24                -2.
+    x25       c25                 6.   c26                -3.
+    x25       c27                -4.   c28                 1.
+    x25       c29                -3.   c30                -5.
+    x25       c31                15.   c34                -3.
+    x25       c36                12.   c47                -4.
+    x25       c50                 1.
+    x26       c2                -54.   c4                 -3.
+    x26       c5                 18.   c7                 20.
+    x26       c8               -500.   c9               1000.
+    x26       c10              -990.   c11               -12.
+    x26       c12                18.   c22                -6.
+    x26       c23                18.   c24                 6.
+    x26       c25               -18.   c32                -1.
+    x26       c33                 3.   c35                 3.
+    x26       c36                12.   c47                -6.
+    x26       c54                 1.
+    x27       c2                 27.   c3                -30.
+    x27       c6                -15.   c7                 10.
+    x27       c8                  5.   c9                -10.
+    x27       c10                -5.   c11                 6.
+    x27       c12                -9.   c14                -6.
+    x27       c22                 3.   c23                -9.
+    x27       c24                -3.   c25                 9.
+    x27       c28                -3.   c29                 9.
+    x27       c30                 2.   c31                -6.
+    x27       c36                -3.   c47                 3.
+    x27       c50                -3.
+    x28       c2                 -9.   c3                 18.
+    x28       c6                 10.   c7                -10.
+    x28       c10                 5.   c11                -2.
+    x28       c12                 3.   c14                 4.
+    x28       c22                -1.   c23                 3.
+    x28       c24                 1.   c25                -3.
+    x28       c26                 3.   c27                 1.
+    x28       c28                 2.   c29                -6.
+    x28       c47                -1.   c50                 2.
+    x29       c4                  3.   c5                -12.
+    x29       c32                 1.   c33                -3.
+    x29       c35                -5.   c36               -30.
+    x29       c38               -10.   c39                10.
+    x30       c1                -12.   c3                 12.
+    x30       c6                  6.   c7                -12.
+    x30       c8                 98.   c9               -294.
+    x30       c10               200.   c30                -2.
+    x30       c31                 6.   c35                 1.
+    x30       c36                12.   c38                 2.
+    x30       c39                -2.   c40               200.
+    x30       c41              -200.   c42                 4.
+    x30       c43                -4.   c45                -2.
+    x31       c1                -12.   c3                 -6.
+    x31       c6                 -6.   c7                 12.
+    x31       c8                -98.   c9                294.
+    x31       c10              -200.   c26                -3.
+    x31       c27                -3.   c30                -2.
+    x31       c31                 6.   c35                -1.
+    x31       c36                -3.   c37                -6.
+    x31       c38                -2.   c39                 2.
+    x31       c40              -200.   c41               200.
+    x31       c42                -2.   c43                 2.
+    x31       c45                -2.
+    x32       c2                  9.   c7                 -6.
+    x32       c8                100.   c9               -300.
+    x32       c10               198.   c12                -9.
+    x32       c24                -3.   c25                 9.
+    x32       c35                 1.   c36                 9.
+    x32       c38                 2.   c39                -2.
+    x32       c40               198.   c41              -198.
+    x33       c1                  6.   c2                 -3.
+    x33       c6                  1.   c8                 -1.
+    x33       c9                  3.   c12                 3.
+    x33       c24                 1.   c25                -3.
+    x33       c27                 1.   c30                 1.
+    x33       c31                -3.   c36                -3.
+    x33       c37                 2.   c45                 1.
+    x34       c33               -14.   c34                42.
+    x34       c36               -70.   c51                 1.
+    x34       c53                -6.   c54                14.
+    x35       c13                -6.   c14               -56.
+    x35       c33                 7.   c34               -21.
+    x35       c36                35.   c49                -7.
+    x35       c50               -35.   c53                -1.
+    x35       c54                 7.
+    x36       c14                42.   c26               -10.
+    x36       c29                10.   c31                30.
+    x36       c33                -7.   c34                11.
+    x36       c36               -15.   c48                 1.
+    x36       c49                 2.   c50                30.
+    x36       c53                 1.   c54                -7.
+    x37       c11               -45.   c12               -15.
+    x37       c33                 7.   c34               -21.
+    x37       c36                35.   c47               -30.
+    x37       c53                -1.   c54                 7.
+    x38       c11                15.   c12                 5.
+    x38       c14                -6.   c26                 5.
+    x38       c29                -5.   c31               -15.
+    x38       c34                 5.   c36               -10.
+    x38       c47                10.   c49                -1.
+    x38       c50                -5.
+    x39       c7                 -8.   c8                500.
+    x39       c9               -400.   c10               990.
+    x39       c11                30.   c12                -6.
+    x39       c23                12.   c25                24.
+    x39       c33                -7.   c34                15.
+    x39       c36               -17.   c47                24.
+    x39       c53                 1.   c54                -7.
+    x40       c6                 15.   c7                 -4.
+    x40       c8                 -5.   c9                  4.
+    x40       c10                 5.   c11               -15.
+    x40       c12                 3.   c14                16.
+    x40       c23                -6.   c25               -12.
+    x40       c29                 9.   c31                 9.
+    x40       c34                -3.   c36                 4.
+    x40       c47               -12.   c49                 1.
+    x40       c50                13.
+    x41       c6                -10.   c7                  4.
+    x41       c10                -5.   c11                 5.
+    x41       c12                -1.   c14               -10.
+    x41       c23                 2.   c25                 4.
+    x41       c26                -5.   c29                -4.
+    x41       c47                 4.   c50                -8.
+    x42       c19                -3.   c20                15.
+    x42       c21                15.   c33                 7.
+    x42       c34               -21.   c36                35.
+    x42       c53                -1.   c54                 4.
+    x43       c6                 -6.   c7                  4.
+    x43       c8                -98.   c9                 98.
+    x43       c10              -200.   c14                -4.
+    x43       c18                12.   c20                -3.
+    x43       c21                -3.   c29                -9.
+    x43       c31                -9.   c34                 6.
+    x43       c36               -13.   c40              -200.
+    x43       c41               600.   c42                -4.
+    x43       c43                12.   c45                 6.
+    x43       c49                -1.   c50                -4.
+    x44       c6                  6.   c7                 -4.
+    x44       c8                 98.   c9                -98.
+    x44       c10               200.   c14                 2.
+    x44       c16                -3.   c17                 9.
+    x44       c18                -6.   c21                 3.
+    x44       c26                 5.   c29                 4.
+    x44       c31                -6.   c34                -1.
+    x44       c36                 3.   c40               200.
+    x44       c41              -600.   c42                 2.
+    x44       c43                -6.   c45                 6.
+    x44       c50                 2.
+    x45       c7                  2.   c8               -100.
+    x45       c9                100.   c10              -198.
+    x45       c11                -3.   c12                 3.
+    x45       c21                -3.   c23                -6.
+    x45       c25               -12.   c34                 3.
+    x45       c36                -9.   c40              -198.
+    x45       c41               594.   c47                -3.
+    x46       c6                 -1.   c8                  1.
+    x46       c9                 -1.   c11                 1.
+    x46       c12                -1.   c16                 1.
+    x46       c17                -3.   c23                 2.
+    x46       c25                 4.   c31                 3.
+    x46       c34                -1.   c36                 3.
+    x46       c45                -3.   c47                 1.
+    x47       c4                 -1.   c5                  4.
+    x47       c19                 2.   c20               -10.
+    x47       c21               -10.   c33                -5.
+    x47       c34                21.   c36               -15.
+    x47       c39               -10.   c53                 1.
+    x47       c54                -4.
+    x48       c3                -10.   c5                  1.
+    x48       c14                10.   c19                -1.
+    x48       c20                 5.   c21                 5.
+    x48       c29                15.   c31                 5.
+    x48       c34                -6.   c36                 5.
+    x48       c39                 5.   c49                 1.
+    x48       c50                10.   c54                -1.
+    x49       c1                  8.   c3                  8.
+    x49       c5                 -1.   c14                -8.
+    x49       c17                -6.   c18                -4.
+    x49       c19                 1.   c20                -3.
+    x49       c21                -5.   c26                -3.
+    x49       c29               -10.   c31                 2.
+    x49       c34                 1.   c36                -1.
+    x49       c39                -5.   c43                -4.
+    x49       c45                -8.   c50                -8.
+    x49       c54                 1.
+    x50       c2                 -9.   c5                  1.
+    x50       c11                 9.   c19                -1.
+    x50       c20                 5.   c21                 5.
+    x50       c23                12.   c25                 6.
+    x50       c34                -3.   c36                 3.
+    x50       c39                 5.   c47                 9.
+    x50       c54                -1.
+    x51       c1                 -4.   c2                  3.
+    x51       c3                 -1.   c11                -3.
+    x51       c14                 1.   c17                 3.
+    x51       c18                 2.   c20                -1.
+    x51       c23                -4.   c25                -2.
+    x51       c29                 1.   c31                -1.
+    x51       c34                 1.   c36                -1.
+    x51       c43                 2.   c45                 4.
+    x51       c47                -3.   c50                 1.
+    x52       c2                  6.   c5                 -1.
+    x52       c11                -6.   c15              -198.
+    x52       c19                 1.   c20                -5.
+    x52       c21                -3.   c23                -6.
+    x52       c39                -3.   c41              -396.
+    x52       c47                -6.   c54                 1.
+    x53       c1                  2.   c2                 -3.
+    x53       c3                  3.   c11                 3.
+    x53       c14                -3.   c15                -1.
+    x53       c18                -4.   c20                 1.
+    x53       c23                 3.   c29                -3.
+    x53       c41                -2.   c43                -4.
+    x53       c45                -2.   c47                 3.
+    x53       c50                -3.
+    x54       c2                  1.   c3                 -2.
+    x54       c11                -1.   c14                 2.
+    x54       c15                 1.   c17                -1.
+    x54       c18                 2.   c23                -1.
+    x54       c29                 2.   c41                 2.
+    x54       c43                 2.   c47                -1.
+    x54       c50                 2.
+RHS
+    rhs       c51                 8.   c52               -45.
+    rhs       c53               -27.   c54                48.
+ENDATA