Constrains all elements of Vars plus its corresponding offset value in Offset to be different. That is,
Vari + Offseti #\= Varj + Offsetj, i #\= jwhere Vari, Offseti are the i'th element of Vars and Offsets, and Varj, Offsetj are the j'th element.
This constraint is also known as alldifferent_cst in the global constraints catalog, and is implemented using Gecode's distinct() constraint.
ConsistencyModule is the optional module specification to give the consistency level for the propagation for this constraint: gfd_vc for value consistency (naive), gfd_bc for bounds consistency, and gfd_gac for domain (generalised arc) consistency.