Solving finite-domain linear constraints in presence of the $\texttt{alldifferent}$ | Read Paper on Bytez