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, [email protected] <mailto:[email protected]> Expert Researcher, SICS, [email protected] From: [email protected] [mailto:[email protected]] On Behalf Of Assia benziane Sent: Friday, November 25, 2016 21:08 To: [email protected] 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,
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
