anything that like sat4j : www.sat4j.org will be helpful. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://list.coin-or.org/pipermail/coin-discuss/attachments/20071114/108e3d62/attachment.html>