An AllDifferent Constraint must have either no bounds, or a lower bound of 1 and an upper bound of N, where N is the number ...