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

Open in new window