О2_ТипыРешателей.SAT
Флагманский решатель для задач комбинаторной оптимизации с целочисленными переменными и расширенными ограничениями. Основной способ вызова — через фасад О2.ТипыРешателей().SAT().
Синтаксис
О2.ТипыРешателей().SAT()
Возвращаемое значение
- ПеречислениеСсылка.О2_ТипыРешателей — значение
SAT.
Описание
Поддерживает ограничения AllDifferent, Circuit, NoOverlap и другие. Рекомендуется как основной решатель для задач с целочисленными переменными.
В коде тип решателя передаётся через фасад О2.ТипыРешателей() в метод О2.СоздатьНастройкиРешателя(...).