[Cbc] possible bug in displaying solution

[John J Forrest]

Felix,

I have added some code (in trunk) - see if that is better.  You will get 
the continuous solution but with "Integer infeasible"

John Forrest





[Cbc] possible bug in displaying solution

felix.noeske 
to:
cbc
07/10/2009 04:13 AM


Sent by:
cbc-bounces at list.coin-or.org
Please respond to Felix Noeske






Dear List,

I am using cbc to solve some small-scale IPs which are generated by
a computer algebra system. The cbc executable (compiled from the svn
repository, Revision 1194) is run from within the CAS and the output is
parsed back in.

The problem in the example file I have attached is infeasible. Cbc
recognizes this, as can be seen if the log level is high enough. But
asking cbc for the optimal solution via "solution stdout" still gives an
optimal solution (probably from some preprocessing, I guess), rendering
a parsing of the output line useless.

Should it not say that the problem is infeasible? Or is there some way I
am missing to produce this effect.

Regards
Felix Noeske

-- 
Dr.rer.nat. Felix Noeske <Felix.Noeske at math.rwth-aachen.de>
Lehrstuhl D fuer Mathematik, RWTH Aachen, Templergraben 64, 52062 Aachen
Tel. +49 241 80 94547 / Fax +49 241 80 92108
"the worst is not,/
 So long as we can say, 'This is the worst.'"
                                                -"King Lear" IV.i
[attachment "cbc_problem.mps" deleted by John J Forrest/Watson/IBM] 
_______________________________________________
Cbc mailing list
Cbc at list.coin-or.org
http://list.coin-or.org/mailman/listinfo/cbc

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://list.coin-or.org/pipermail/cbc/attachments/20090711/804eae7a/attachment.html