Eine 'AllDifferent'-Nebenbedingung darf entweder keine Grenzwerte aufweisen oder muss den unteren Grenzwert 1 und den oberen ...