Merge branch 'latest' into strongcg

Author: Opt-Mucca

check/TestPresolve.cpp

@@ -703,3 +703,24 @@ TEST_CASE("lifting-for-probing", "[highs_test_presolve]") {
   highs.readModel(model_file);
   REQUIRE(highs.presolve() == HighsStatus::kOk);
 }
+
+TEST_CASE("presolve-issue-2388", "[highs_test_presolve]") {
+  std::string model_file =
+      std::string(HIGHS_DIR) + "/check/instances/issue-2388.lp";
+  Highs highs;
+  highs.setOptionValue("output_flag", dev_run);
+  highs.readModel(model_file);
+  REQUIRE(highs.presolve() == HighsStatus::kOk);
+  REQUIRE(highs.getModelPresolveStatus() ==
+          HighsPresolveStatus::kReducedToEmpty);
+}
+
+TEST_CASE("presolve-issue-2402", "[highs_test_presolve]") {
+  std::string model_file =
+      std::string(HIGHS_DIR) + "/check/instances/issue-2402.mps";
+  Highs highs;
+  highs.setOptionValue("output_flag", dev_run);
+  highs.readModel(model_file);
+  REQUIRE(highs.presolve() == HighsStatus::kOk);
+  REQUIRE(highs.getModelPresolveStatus() == HighsPresolveStatus::kInfeasible);
+}

check/instances/issue-2388.lp

@@ -0,0 +1,76 @@
+\ENCODING=ISO-8859-1
+\Problem name: QP from CasADi
+
+Minimize
+ obj: 0 x9 + 0 x10 + 0 x13 + 0 x14 + x47 + x48
+Subject To
+ c1:   x5 + x11 - x27  = 0
+ c3:   x17 + x23 - x37  = 0
+ c4:   - x15 + x21 + x35  = 0
+ c7:   x6 + x12 - x28  = 0
+ c8:   - x2 - x4 + x26  = 0
+ c9:   x18 + x24 - x38  = 0
+ c10:  - x16 + x22 + x36  = 0
+ c13:  - 0.01449347091216 x41 - 0.256120772302458 x43 >= 0
+ c14:  - 0.01449347091216 x42 - 0.256120772302458 x44 >= 0
+ c15:  - 0.01449347091216 x41 - 0.256120772302458 x43 <= 0
+ c16:  - 0.01449347091216 x42 - 0.256120772302458 x44 <= 0
+ c17:  - 0.1 x43 - 0.1 x49 - x53 >= -1
+ c18:  - 0.1 x44 - 0.1 x50 - x54 >= -1
+ c19:  0.1 x43 - 0.1 x49 + x53 >= 0
+ c20:  0.1 x44 - 0.1 x50 + x54 >= 0
+ c21:  - 0.1 x43 - 0.1 x49 + x53 <= 1
+ c22:  - 0.1 x44 - 0.1 x50 + x54 <= 1
+ c23:  0.1 x43 - 0.1 x49 - x53 <= 0
+ c24:  0.1 x44 - 0.1 x50 - x54 <= 0
+ c25:  - 0.255290703510786 x31 - 0.014446498627253 x41 >= 0
+ c26:  - 0.255290703510786 x32 - 0.014446498627253 x42 >= 0
+ c27:  - 0.255290703510786 x31 - 0.014446498627253 x41 <= 0
+ c28:  - 0.255290703510786 x32 - 0.014446498627253 x42 <= 0
+ c35:  0.1 x31 - 0.1 x51 - x53 <= 0
+ c36:  0.1 x32 - 0.1 x52 - x54 <= 0
+ c37:  x55  = 1
+ c38:  x56  = 1
+ c41:  - 0.234227413705435 x5 + 0.234227413705435 x37 + 4.26935508606863 x43
+        = 0
+ c42:  - 0.234988995947158 x17 + 0.234988995947158 x27 + 4.2555184168065 x31
+        = 0
+ c43:  x17 - x37 >= 10.2
+ c62:  x35 - 0.45 x41  = 0
+ c63:  x25 - 0.75 x41  = 0
+ c72:  4.1496 x22 + 1.5 x48 >= 1.5
+ c73:  4.1496 x22 - 0.5 x48 <= 1.5
+Bounds
+ 0.18074031231926 <= x2 <= 0.301233853865433
+ 0 <= x4 <= 1.20493541546173
+      x5 Free
+      x6 Free
+ 0 <= x15 <= 1.20493541546173
+ 0 <= x16 <= 1.20493541546173
+      x17 Free
+      x18 Free
+ -Inf <= x23 <= 0
+ -Inf <= x24 <= 0
+ 0 <= x25 <= 0.481974166184692
+ 0 <= x26 <= 0.481974166184692
+      x27 Free
+      x28 Free
+      x31 Free
+      x32 Free
+ 0 <= x35 <= 1.20493541546173
+ 0 <= x36 <= 1.20493541546173
+      x37 Free
+      x38 Free
+      x41 Free
+      x42 Free
+      x43 Free
+      x44 Free
+ 0 <= x47 <= 1
+ 0 <= x48 <= 1
+      x53 = 1
+      x54 = 1
+ 0 <= x55 <= 2
+ 0 <= x56 <= 2
+Generals
+ x53  x54 
+End