Ограничения графов

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