<div dir="ltr"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">Hello SYMPHONY users,</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
<br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">I'm researching MILP algorithms and need help choosing a solver to work with.</span><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
At this time, CBC and SYMPHONY seems best for my needs (perhaps BCP as well), but I'm having trouble choosing between them.</div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
My main goal is to modify an open source solver to get best performance for <b>soft real-time</b> problems. that means that <b>some </b>of my requirements are:</div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
<ul><li style="margin-left:15px">Having the ability to stop a solver by demand (by a "commanding" thread).</li><li style="margin-left:15px">Getting any feasible solution/detecting infeasibility fairly fast .</li>
<li style="margin-left:15px">Use the solver's solution of a slightly different problem to "warm start" the current problem.</li><li style="margin-left:15px">Easily add other related features and heuristics.</li>
<li style="margin-left:15px">Eventually solve small problems very fast (sometimes in a fraction of a second).</li></ul></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
I came across an <a href="http://answerpot.com/showthread.php?3184484-Cbc+vs+Symphony" target="_blank" style="color:rgb(17,85,204)">answer by Ted to a similar question</a>, dated Jan 2012, but it hasn't answer my questions completely-</div>
<div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)"><ul><li style="margin-left:15px">I understand that SYMPHONY is more flexible then CBC. Do you think that's true for my requirements as well?</li>
<li style="margin-left:15px">Where does BCP stands in comparison to CBC and SYMPHONY?<br></li></ul><div>I would be very glad to get any answer, even a partial one.</div></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
<br></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">Thank you,</div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
Shaked.</div></div>