Un vincolo AllDifferent non deve avere alcun limite oppure deve avere un limite inferiore uguale a 1 e un limite superiore ...