[gecode-users] Function optimization

[Assia benziane]

Hello everyone, I've this Function: X1 +X2 +X3 =Y that I've to implement in gecode as a sat problem. It means that I've to reaffect values to variables so that the function is satisfied. Can anyone help me to model this problem in gecode.

Télécharger Outlook pour Android
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20170104/10abd81d/attachment.html>