[gecode-users] Max-sat solving

[Christian Schulte]

Sorry, your question does in fact make no sense. Could you please enlighten
me what you are after? Thanks Christian

 

--

Christian Schulte, www.gecode.org/~schulte <http://www.gecode.org/~schulte> 

Professor of Computer Science, KTH, cschulte at kth.se <mailto:cschulte at kth.se>


Expert Researcher, SICS, cschulte at sics.se

 

From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Assia benziane
Sent: Friday, November 25, 2016 21:08
To: users at gecode.org
Subject: [gecode-users] Max-sat solving

 

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/20161127/1a5b0c37/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4599 bytes
Desc: not available
URL: <http://www.gecode.org/pipermail/users/attachments/20161127/1a5b0c37/attachment.bin>