Update to correct efficacy calc

Author: Opt-Mucca

highs/mip/HighsCutGeneration.cpp

@@ -1345,7 +1345,7 @@ bool HighsCutGeneration::generateCut(HighsTransformedLp& transLp,
   }
 #endif
 
-  // Generate a lifted simple generalized flow cover cut
+  // Try to generate a lifted simple generalized flow cover cut
   bool flowCoverSuccess = false;
   std::vector<double> flowCoverVals;
   std::vector<HighsInt> flowCoverInds;

highs/mip/HighsTransformedLp.cpp

@@ -942,9 +942,12 @@ bool HighsTransformedLp::cleanup(std::vector<HighsInt>& inds,
   double sqrnorm = 0;
   const std::vector<double>& lpSolution = lprelaxation.getSolution().col_value;
   for (HighsInt i = 0; i != numNz; ++i) {
-    if (lpSolution[i] <=
+    if (vals[i] >= 0 && lpSolution[i] <=
         mip.mipdata_->domain.col_lower_[i] + mip.mipdata_->feastol)
       continue;
+    if (vals[i] < 0 && lpSolution[i] >=
+        mip.mipdata_->domain.col_upper_[i] - mip.mipdata_->feastol)
+      continue;
     viol += vals[i] * lpSolution[i];
     sqrnorm += vals[i] * vals[i];
   }