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,
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
