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).
Также можно ввести следующее ограничение: одна или более переменные должны быть целыми числами (значения без знаков после запятой) или двоичными числами (разрешены только значения 1 и 0).