{The AllDifferent Constraint: a Survey}