[gecode-users] Max-sat solving

[Assia benziane]

Hello every one,

Latley, i asked the gecode users about solving a max-sat instance on gecode, but they adviced me that it will be not effective compare to dictated solver. However, could i use the didtacted solver like SAT4J or minsat on Gecode, to take profit of its rich c++ library and others constraints


Best regards,
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20161125/b954cbc0/attachment.html>