[Cbc] Bug in integer infeasible solution reporting

[Stuart Mitchell]

This may have something to do with the infeasibility being found in presolve

but debug.lp
generates
debug.sol
which states it is an optimal solution even though the variables are non 
integer

Stu

-- 
___________________________________
Dr Stuart Mitchell
Research Fellow
Light Metals Research Centre (LMRC)
University of Auckland
Private Bag 92019
Auckland
New Zealand

Ph (wk)  +64 9 3737599 ext 84867
    (ddi) +64 9 9234967
    (fax) +64 9 3737925
    (mb)  +64 21 441331
___________________________________

-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: debug.lp
Url: http://list.coin-or.org/pipermail/cbc/attachments/20090925/54284f1e/attachment.pl 
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: debug.sol
Url: http://list.coin-or.org/pipermail/cbc/attachments/20090925/54284f1e/attachment-0001.pl 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: s_mitchell.vcf
Type: text/x-vcard
Size: 330 bytes
Desc: not available
Url : http://list.coin-or.org/pipermail/cbc/attachments/20090925/54284f1e/attachment.vcf