No, Gecode does not support Max SAT directly. Best Christian
-- Christian Schulte, <http://www.gecode.org/~schulte> www.gecode.org/~schulte Professor of Computer Science, KTH, <mailto:cschu...@kth.se> 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, October 21, 2016 21:03 To: users@gecode.org Subject: [gecode-users] MAX-SAT problem Hello gecode users, I've a constraint satisfaction problem that i want to optimize. My idea is to implment it on Gecode. I read closely the document "Modeling and Programming with Gecode <http://www.gecode.org/doc-latest/MPG.pdf> ", but i did not found anything related to use the MAX-SAT on Gecode straight. My question is if it is possible to implment a MAX-SAT problem on Gecode. Cordially, --- Assia
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
