Hello, currently, I am working on my master thesis using Gecode. I have a question about how linear expressions are managed in Gecode :
for instance, in the n-queen problem, when q[i]+i is passed as a parameter of the distinct propagator, is internally another intvar array created and some channelling is done then ? If not, could you explain me how it is done or tell me where I could find the information please ? In advance, I thank you for your help. Best regards, Sascha Van Cauwelaert _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
