Sie können die Einschränkung auch so definieren, dass eine oder mehrere Variablen Ganzzahlen (Werte ohne Dezimalstellen) oder Binärwerte (bei denen nur 0 oder 1 erlaubt sind) sein müssen.
Vous pouvez également définir une contrainte qu'une ou plusieurs variables doivent être des nombres entiers (valeurs sans décimales), ou des valeurs binaires (où seules 0 et 1 sont autorisées).