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:[email protected]> [email protected] Expert Researcher, SICS, <mailto:[email protected]> [email protected] From: [email protected] [mailto:[email protected]] On Behalf Of Assia benziane Sent: Wednesday, January 4, 2017 14:37 To: mailng list <[email protected]> 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 [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
