[gecode-users] Linear expressions in Gecode

[Sascha Van Cauwelaert]

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