Вышла новая версия ArhiPlex 2.5.0
Компания ARHITEX выпустила новую версию решателя оптимизационных задач ArhiPlex 2.5.0.
Ключевое обновление релиза - поддержка задач constraint programming (CP). Теперь ArhiPlex дополняет классические возможности решения задач LP / MIP / QP / MIQP / NLP / MINLP функциональностью CP-решателя CP-SAT, что расширяет круг прикладных сценариев и позволяет эффективнее работать с дискретными, логическими и комбинаторными моделями.
Новый CP-функционал особенно актуален для задач, в которых важны не только целевая функция и ограничения, но и сама структура допустимых решений. В ArhiPlex 2.5.0 поддержаны сценарии, связанные с:
- булевыми и целочисленными переменными;
- логическими зависимостями и импликациями;
- ограничениями вида all_different, exactly_one, at_most_one;
- задачами назначений и распределения ресурсов;
- календарным планированием и расписаниями;
- поиском нескольких или всех допустимых решений.
Вместе с релизом была существенно обновлена документация по продукту. Для пользователей подготовлен отдельный раздел по CP-части с описанием нового функционала, примерами постановки задач, сценариями оптимизации и scheduling-моделями, а также пояснениями по использованию CP-SAT через Python API.
В версии ArhiPlex 2.5.0 мы продолжаем развивать продукт как универсальную платформу для решения широкого спектра задач математической оптимизации - от классических линейных и нелинейных моделей до современных комбинаторных постановок.
Подробную информацию о возможностях новой версии и примерах использования можно получить у команды ARHITEX.