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:cschu...@kth.se> cschu...@kth.se Expert Researcher, SICS, <mailto:cschu...@sics.se> cschu...@sics.se From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Assia benziane Sent: Wednesday, January 4, 2017 14:37 To: mailng list <users@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
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
