[Cbc] OsiCbc isProvenOptimal?

[John Forrest]

Jan-Willem,

It has been said before that OsiCbc is not as well tested (or flexible) 
as using Cbc directly.

I have modified code in stable and trunk - tell me if anything is wrong.

John Forrest

On 18/09/14 22:07, Jan-Willem Goossens wrote:
> Hi,
>
> I'm getting unexpected results from the call to osiCbc.isProvenOptimal():
> For problems for which the LP relaxation is feasible, but no MIP
> solution exists, the osiCbc.isProvenOptimal() returns TRUE (wrong,
> IMO), while osiCbc.getModelPtr()->isProvenOptimal() returns FALSE
> (correct).
>
> The reason seems to be that OsiCbc isProvenOptimal is implemented as
> bool OsiCbcSolverInterface::isProvenOptimal() const
> {
>    return modelPtr_->solver()->isProvenOptimal();
> }
> and thus return "isProvenOptimal" of the (latest?) LP that was solved.
>
> Is this by design?
>
> Thanks in advance for your help.
>
> Regards,
>
> Jan-Willem
> _______________________________________________
> Cbc mailing list
> Cbc at list.coin-or.org
> http://list.coin-or.org/mailman/listinfo/cbc
>
>