<div dir="ltr">Hello Ted Ralphs and CBC users<br><br>I'm researching MILP algorithms and need help choosing a solver to work with.<div>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>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><ul><li>Having the ability to stop a solver by demand (by a "commanding" thread).</li>
<li>Getting any feasible solution/detecting infeasibility fairly fast .</li><li>Use the solver's solution of a slightly different problem to "warm start" the current problem.</li><li>Easily add other related features and heuristics.</li>
<li>Eventually solve small problems very fast (sometimes in a fraction of a second).</li></ul></div><div>I came across an <a href="http://answerpot.com/showthread.php?3184484-Cbc+vs+Symphony" target="_blank">answer by Ted to a similar question</a>, dated Jan 2012, but it hasn't answer my questions completely-</div>
<div><div><ul><li>I understand that SYMPHONY is more flexible then CBC. Do you think that's true for my requirements as well?</li><li>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><div><br></div><div>Thank you,</div><div>Shaked.</div></div>