Solving finite-domain linear constraints in presence of the $\texttt{alldifferent}$

Re-assign community