Ограничения значений

Группа ограничений, оперирующих значениями переменных и линейных выражений: равенство, сравнение, требования уникальности, арифметические тождества, принадлежность домену, задание разрешённых или запрещённых сочетаний значений. Ограничения данной группы применяются в большинстве задач и составляют базовый инструментарий формализации задач.