[gecode-users] MAX-SAT problem

[Assia benziane]

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/20161021/9dab41f5/attachment.html>