Merge pull request ERGO-Code#2327 from ERGO-Code/fix-2320

jajhall · web-flow · commit a9b69a5f15ae · 2025-05-14T08:37:16.000+01:00
Fix ERGO-Code#2320
diff --git a/highs/mip/HighsCliqueTable.cpp b/highs/mip/HighsCliqueTable.cpp
@@ -1105,6 +1105,10 @@ void HighsCliqueTable::extractCliquesFromCut(const HighsMipSolver& mipsolver,
     }
   }
 
+  if (rhs - minact < 0.0) {
+    minact = rhs;
+  }
+
   for (HighsInt i = 0; i != len; ++i) {
     if (mipsolver.variableType(inds[i]) == HighsVarType::kContinuous) continue;
 

Original file line number	Diff line number	Diff line change
`@@ -1105,6 +1105,10 @@ void HighsCliqueTable::extractCliquesFromCut(const HighsMipSolver& mipsolver,`
`1105`	`1105`	`}`
`1106`	`1106`	`}`
`1107`	`1107`
	`1108`	`+ if (rhs - minact < 0.0) {`
	`1109`	`+ minact = rhs;`
	`1110`	`+ }`
	`1111`	`+`
`1108`	`1112`	`for (HighsInt i = 0; i != len; ++i) {`
`1109`	`1113`	`if (mipsolver.variableType(inds[i]) == HighsVarType::kContinuous) continue;`
`1110`	`1114`