reformulation with cliques as alldifferent constraints