<div dir="ltr"><div><div><div>Josh,<br><br></div>Sorry about the out-of-date binaries. What OS are you on? We still do not have an automated system of updating those binaries and keeping them manually up-to-date for all projects is a big challenge. I've been doing monolithic builds of all projects in the "optimization suite" and posting the binaries here:<br><br><a href="http://www.coin-or.org/download/binary/CoinAll/">http://www.coin-or.org/download/binary/CoinAll/</a><br><br></div>For Windows, there is also a GUI installer. For OS X, you are better off installing by Homebrew (recipes are available for some packages) and we have both Fedora and Debian packages making their way through the pipeline.<br><br>I'm planning a reorganization that I hope will make this all a bit more obvious, but haven't had the time to make it happen yet!<br><br></div>Cheers,<br><br>Ted<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Sep 25, 2014 at 8:56 AM, Joshua Arnott <span dir="ltr"><<a href="mailto:josh@snorfalorpagus.net" target="_blank">josh@snorfalorpagus.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">John,<div><br></div><div>Building and running the latest version of Cbc solves the problem correctly. That will teach me to assume the binaries on the website are even remotely up to date!</div><div><br></div><div>Josh<br><div class="gmail_extra"><br><div class="gmail_quote">On 24 September 2014 12:49, <span dir="ltr"><<a href="mailto:cbc-request@list.coin-or.org" target="_blank">cbc-request@list.coin-or.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
------------------------------<br>
<br>
Message: 4<br>
Date: Wed, 24 Sep 2014 12:48:58 +0100<br>
From: John Forrest <<a href="mailto:john.forrest@fastercoin.com" target="_blank">john.forrest@fastercoin.com</a>><br>
To: <a href="mailto:cbc@list.coin-or.org" target="_blank">cbc@list.coin-or.org</a><br>
Subject: Re: [Cbc] CBC reports infeasible, GLPK solves<br>
Message-ID: <<a href="mailto:5422AFAA.1040806@fastercoin.com" target="_blank">5422AFAA.1040806@fastercoin.com</a>><br>
Content-Type: text/plain; charset="windows-1252"; Format="flowed"<br>
<br>
Josh,<br>
<br>
Unable to reproduce problem with Cbc 2.8 - all tries worked fine.<br>
<br>
Would suggest upgrading as your version is nearly three years old.<br>
<br>
John Forrest<br>
On 24/09/14 12:32, Joshua Arnott wrote:<br>
> Hello,<br>
><br>
> I've come across a MILP which CBC reports as proven infeasible, but<br>
> which GLPK solves.<br>
><br>
> I've uploaded the problem in *.lp format here:<br>
> <a href="http://pastebin.com/EEifbfpy" target="_blank">http://pastebin.com/EEifbfpy</a><br>
><br>
> The problem was automatically generated based on some data. It's one<br>
> of many, and is the only one I've come across so far that exhibits<br>
> this problem. I guess it's something to do with tolerances or<br>
> precision in CBC. Is there anything I can do to get CBC to solve it?<br>
><br>
> See below the outputs fro CBC and GLPK (via GLPSOL).<br>
><br>
> Kind regards,<br>
><br>
> Josh<br></blockquote></div></div></div></div>
<br>_______________________________________________<br>
Cbc mailing list<br>
<a href="mailto:Cbc@list.coin-or.org">Cbc@list.coin-or.org</a><br>
<a href="http://list.coin-or.org/mailman/listinfo/cbc" target="_blank">http://list.coin-or.org/mailman/listinfo/cbc</a><br>
<br></blockquote></div><br><br clear="all"><br>-- <br>Dr. Ted Ralphs<br>Associate Professor, Lehigh University<br>(610) 628-1280<br>ted 'at' lehigh 'dot' edu<br><a href="http://coral.ie.lehigh.edu/~ted" target="_blank">coral.ie.lehigh.edu/~ted</a><br>
</div>