COIN-OR::LEMON - Graph Library

Opened 3 months ago

#626 new defect

Bug in CBC ProblemType determination

Reported by: Alpar Juttner Owned by: Alpar Juttner
Priority: major Milestone: LEMON 1.4 release
Component: core Version: hg main
Keywords: Cc: madarasip@…
Revision id:

Description

Péter Madarasi reports the following:

Solving a MIP with CBC-vel, if the presolver determined the the problem is infeasible, then CbcMip::type() wrongly returns FEASIBLE.

To fix it, line 391 of cbc.cc should be changed to

else if(_cbc_model->isProvenInfeasible() || _cbc_model->isInitialSolveProvenPrimalInfeasible())
  return INFEASIBLE;

Change History (0)

Note: See TracTickets for help on using tickets.