id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	revision
626	Bug in CBC ProblemType determination	Alpar Juttner	Alpar Juttner	"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, [source:/lemon/lemon/cbc.cc#L391 line 391 of cbc.cc] should be changed to
{{{
else if(_cbc_model->isProvenInfeasible() || _cbc_model->isInitialSolveProvenPrimalInfeasible())
  return INFEASIBLE;
}}}"	defect	new	major	LEMON 1.4 release	core	hg main			madarasip@…