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