[gecode-users] MAX-SAT problem

[Christian Schulte]

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:cschulte at kth.se>
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, October 21, 2016 21:03
To: users at 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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20161023/09ca38b2/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/20161023/09ca38b2/attachment.bin>