[Cbc] CBC - Help choosing a MILP solver

[Shaked D]

Hello Ted Ralphs and CBC users

I'm researching MILP algorithms and need help choosing a solver to work
with.
At this time, CBC and SYMPHONY seems best for my needs (perhaps BCP as
well), but I'm having trouble choosing between them.
My main goal is to modify an open source solver to get best performance for
*soft real-time* problems. that means that *some *of my requirements are:

   - Having the ability to stop a solver by demand (by a "commanding"
   thread).
   - Getting any feasible solution/detecting infeasibility fairly fast .
   - Use the solver's solution of a slightly different problem to "warm
   start" the current problem.
   - Easily add other related features and heuristics.
   - Eventually solve small problems very fast (sometimes in a fraction of
   a second).

I came across an answer by Ted to a similar
question<http://answerpot.com/showthread.php?3184484-Cbc+vs+Symphony>,
dated Jan 2012, but it hasn't answer my questions completely-

   - I understand that SYMPHONY is more flexible then CBC. Do you think
   that's true for my requirements as well?
   - Where does BCP stands in comparison to CBC and SYMPHONY?

I would be very glad to get any answer, even a partial one.

Thank you,
Shaked.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20121220/a669ea9a/attachment.html>