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
