[gecode-users] Function optimization

[Christian Schulte]

Hi,

 

This user’s mailing list is devoted to Gecode-specific questions and not general modeling questions, in particular not SAT modeling.

 

Please find a more appropriate forum for your questions.

 

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,  <mailto:cschulte at sics.se> cschulte at sics.se

 

From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf Of Assia benziane
Sent: Wednesday, January 4, 2017 14:37
To: mailng list <users at gecode.org>
Subject: [gecode-users] Function optimization

 

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/246b07f3/attachment.html>