Changeset 2880


Ignore:
Timestamp:
Feb 21, 2020 1:20:06 PM (20 months ago)
Author:
unxusr
Message:

clique merge can discover that the MIP is infeasible and this is good

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/CbcSolver.cpp

    r2865 r2880  
    51255125                  if (clqMerging.constraintsExtended() + clqMerging.constraintsDominated() > 0) {
    51265126                    babModel_->solver()->resolve();
    5127                     if (!babModel_->solver()->isProvenOptimal()) {
    5128                       fprintf(stderr, "Problem is infeasible after performing clique merging!\n");
    5129                       abort();
    5130                     }
     5127                    if (!noPrinting_) {
     5128                      if (babModel_->solver()->isProvenPrimalInfeasible()) {
     5129                        sprintf(generalPrint, "Clique-mergning says infeasible");
     5130                        generalMessageHandler->message(CLP_GENERAL, generalMessages)
     5131                          << generalPrint
     5132                          << CoinMessageEol;
     5133                      } // check if infeasible
     5134                    } // output info
    51315135                  }
    51325136                }
Note: See TracChangeset for help on using the changeset viewer.