SOLVERS (РЕШАТЕЛИ), КОТОРЫЕ МЫ ПРОДАЕМ:
CPLEX для AMPL
IBM ILOG CPLEX – самый известный и наиболее широко используемый крупномасштабный решатель. Его эффективность и надежность были продемонстрированы на протяжении двух десятилетий на тысячах коммерческих проектов по всему миру.Аннотация
Разработчик: IBM ILOG Текущая версия: 20.1 Поддерживаемые типы задач: линейная и квадратичная оптимизация непрерывных и целочисленных переменных. Поддерживаются как выпуклые, так и невыпуклые квадратичные цели, а также выпуклые квадратичные ограничения. Дополнительные возможности: Логические формы в виде «индикаторных» ограничений. Выпуклые квадратичные выражения в целевых функциях и выпуклые квадратичные ограничения эллиптического и конического типов. Доступные алгоритмы: для непрерывных задач, прямой и двойственный симплекс, внутренняя точка (барьер). Для целочисленных задач, расширенного ветвления и границы с предварительным решением, эвристика выполнимости и генератор сокращений. Для непрерывных задач, состоящих в основном или полностью из линейных ограничений сетевого потока, простых сетей. Особенности: Параллельная обработка в общей памяти барьеров, ветвлений и границ. Параллельная оптимизация несколькими методами для выбора наилучшего. Специальные средства для настройки параметров и диагностики невозможности. Доступ к программированию ограничений с более общей обработкой логических ограничений CPLEX.Дополнительная информация
Веб-сайт: IBM ILOG CPLEX Список параметров CPLEX для AMPL Файлы и инструкции по сборке CPLEX-AMPL Инструкции по вступлению в IBM Academic Initiative Руководство пользователя CPLEX12.2 для AMPL* Ознакомиться с условиями приобретения и ценами.
Gurobi для AMPL
Лидерство производительности Gurobi было продемонстрировано в открытых тестах производительности, а также благодаря значительному сокращению времени решения из года в год. Заново созданный, с использованием новейших разработок и технологий, чрезвычайно надежный код Gurobi обеспечивает высокую стабильность, масштабируемость и правильность получаемых результатов.
Аннотация
Разработчик: Gurobi Optimization, Inc. Текущая версия: 9.1.1 Поддерживаемые типы задач: линейная и квадратичная оптимизация непрерывных и целочисленных переменных. Дополнительные возможности: выпуклые и невыпуклые квадратичные выражения в целях и ограничениях; конические квадратичные связи, индикатор ограничений. Доступные алгоритмы: для непрерывных задач, прямой и двойственный симплекс, внутренняя точка (барьер); для целочисленных задач, расширенного ветвления и границы с предварительным решением, эвристики выполнимости и генераторов сокращения. Особенности: Глобальная оптимизация невыпуклых квадратичных задач. Параллельная обработка в общей памяти барьеров, ветвей и границ. Распределенная одновременная оптимизация и настройка для использования нескольких машин. Оптимизированный доступ к облачным сервисам. Специальные интрументы для многоцелевой оптимизации и диагностики неосуществимости.Дополнительная информация
Веб-сайт: Gurobi Optimization Руководство пользователя Gurobi для AMPL 9.1 включая описания опций Исходный код интерфейса Gurobi-AMPL с файлами и инструкциями Что нового в Gurobi 9.1* Ознакомиться с условиями приобретения и ценами.
Xpress для AMPL
Xpress предлагает проверенную технологию оптимизации для крупномасштабных задач с высокой производительностью в широком диапазоне типов моделей. Его сверхэффективная обработка разреженных матриц и сжатие данных «на лету» решают самые большие проблемы с надежной производительностью даже при численно сложных или нестабильных задачах.Аннотация
Разработчик: FICO Текущая версия: 8.11.0 (37.01.01) Поддерживаемые типы задач: линейная и выпуклая квадратичная оптимизация непрерывных и целочисленных переменных. Доступные алгоритмы: для непрерывных задач, прямой и двойственный симплекс, внутренняя точка (барьер). Для целочисленных задач, расширенного ветвления и границы с предварительным решением, эвристики выполнимости и генераторов сокращения. Особенности: Параллельная обработка в общей памяти непрерывного барьера и MIP-ветвей.Дополнительная информация
Веб-сайт: www.fico.com Xpress для AMPL Исходный код интерфейса Xpress-AMPL с make-файлами и инструкциями Инструкция по вступлению в FICO Academic Partner Program* Ознакомиться с условиями приобретения и ценами.
CONOPT для AMPL
Эффективная и надежная сложно-ходовая архитектура CONOPT – проверенный выбор для крайне нелинейных задач, позволяет успешно решать широкий спектр моделей. Специализированные методы быстро находят осуществимость, в то время как мощные инструменты предварительной обработки уменьшают размер проблемы и предлагают улучшения в формулировках.Аннотация
Разработчик: ARKI Consulting & Development A/S
Текущая версия: 3.17A
Поддерживаемые типы задач: линейные, квадратичные и общие гладкие нелинейные цели и ограничения с непрерывными переменными.
Доступные алгоритмы: динамический выбор из обобщенного сокращенного градиента допустимого пути, последовательного квадратичного программирования и последовательного линейного программирования.
Особенности: Расширенные базовые алгоритмы используют преимущества вторых производных и более надежно определяют осуществимые решения.
Дополнительная информация
Веб-сайт: ARKI Consulting & Development Руководство пользователя и список параметров CONOPT для AMPL* Ознакомиться с условиями приобретения и ценами.
Knitro для AMPL
Artelys Knitro – это особенно мощный нелинейный решатель, который предлагает ряд современных алгоритмов и опций для работы с гладкими целевыми функциями и функциями ограничений для непрерывных и целочисленных переменных. Предназначен для локальной оптимизации крупномасштабных задач с количеством переменных до сотен тысяч.Аннотация
Разработчик: Artelys Текущая версия: 12.3 Поддерживаемые типы задач: линейная, квадратичная и общая гладкая нелинейная оптимизация с непрерывными и целочисленными переменными. Дополнительные возможности: ограничения дополнительности и равновесия, использует оператор AMPL «complements». Доступные алгоритмы: для непрерывных задач выбор алгоритмов прямой внутренней точки, внутренней точки сопряженного градиента и последовательных линейно-квадратичных алгоритмов активного набора. Для смешанных целочисленных задач – выбор общих и специальных выпуклых процедур ветвления и границ, использующих любой из трех непрерывных алгоритмов для решения подзадач. Особенности: Широкое использование многоядерных вычислений с общей памятью: одновременная оптимизация для определения лучшего выбора среди множества алгоритмов; параллельная многозадачная процедура поиска качественных локально оптимальных решений невыпуклых задач; параллельная линейная алгебра и конечно-разностные градиентные вычисления. Возможные варианты сохранения итераций с учетом границ и неравенств. Специальная обработка квадратичных целей и ограничений для повышения эффективности.Дополнительная информация
Веб-сайт: Artelys Knitro Справочное руководство Knitro 12.3 для AMPL, включая перечень настроек Инструкции Knitro 12.3 по настройке опций Knitro в AMPL Что нового в Knitro 12.3* Ознакомиться с условиями приобретения и ценами.
LOQO для AMPL
LOQO – это мощный инструмент для решения гладких задач оптимизации с ограничениями, основанный на методе внутренней точки, применяемый к последовательности квадратичных приближений. При условии, что определяющие функции являются гладкими (в точках, оцениваемых алгоритмом), LOQO может обрабатывать ряд задач: линейных или нелинейных, выпуклых или невыпуклых, ограниченных или неограниченных. Для выпуклых проблем LOQO находит глобально оптимальное решение. В противном случае LOQO начинает поиск с заданной начальной точки, чтобы найти локально оптимальное решение.Аннотация
Разработчик: профессор Роберт Вандербей, Принстонский университет Текущая версия: 7.03 Поддерживаемые типы задач: линейные, квадратичные и гладкие нелинейные целелевые функции и ограничения с непрерывными переменными. Доступные алгоритмы: метод недопустимого начала, прямой двойственный метод внутренней точки для линейного и квадратичного программирования с надежными расширениями для более общих нелинейных целевых функций и функций ограничений. Особенности: Возможность утверждать, что проблема выпуклая, для большей эффективности.Дополнительная информация
Руководство пользователя LOQO Список параметров и настроек LOQO для AMPL* Ознакомиться с условиями приобретения и ценами.
MINOS для AMPL
MINOS является признанным решателем для решения линейных и нелинейных задач оптимизации. Солвер включает в себя проверенные методы для крупномасштабных разреженных нелинейных ограничений, и его методы особенно эффективны для нелинейных объективов, подверженных линейным и почти линейным ограничениям.Аннотация
Разработчик: Стэнфордская лаборатория оптимизации систем
Текущая версия: 5.51
Поддерживаемые типы задач: линейные, квадратичные и гладкие нелинейные цели и ограничения с непрерывными переменными.
Доступные алгоритмы: Простой симплекс для линейных задач. Уменьшенный градиент для нелинейных объективов. Расширенный лангражиан для нелинейных ограничений.
Особенности: Линейные ограничения обрабатываются отдельно от нелинейных для большей эффективности.
Дополнительная информация
Веб-сайт: Лаборатория оптимизации систем Руководство пользователя и список опций AMPL / MINOS* Ознакомиться с условиями приобретения и ценами.
SNOPT для AMPL
SNOPT – широко используемый крупномасштабный оптимизатор для сложных крупномасштабных нелинейных задач. Он включает в себя проверенные методы, которые имеют широкое применение и особенно эффективны для нелинейных задач, функции и градиенты которых оценивать затратно.Аннотация
Разработчик: Стэнфордская лаборатория оптимизации систем
Текущая версия: 7.5-1.2
Поддерживаемые типы задач: линейные, квадратичные и гладкие нелинейные цели и ограничения с непрерывными переменными.
Доступные алгоритмы: Простой симплекс для линейных задач. Последовательный квадратичный с расширенным лагранжианом для нелинейных целей и ограничений.
Особенности: Особенно высокая эффективность достигается, когда многие переменные линейно входят в ограничения или когда многие ограничения активны (следовательно, имеется относительно мало степеней свободы) при оптимуме. Формулировка упругих ограничений используется для решения проблемы неосуществимости.
Дополнительная информация
Веб-сайт: Лаборатория оптимизации систем Список настроек SNOPT для AMPL Руководство пользователя и список настроек SNOPT 7* Ознакомиться с условиями приобретения и ценами.
BARON для AMPL
BARON – это общий нелинейный оптимизатор, способный решать задачи невыпуклой оптимизации до глобальной оптимальности. Переменные решения могут быть непрерывными, целыми числами или их вариациями. BARON использовался для приложений в химической и обрабатывающей промышленности, фармацевтике, производстве энергии, инженерном проектировании и управлении активами.Аннотация
Разработчик: The Optimization Firm Текущая версия: 21.1.13 Поддерживаемые типы задач: линейные и нелинейные цели и ограничения, включая арифметические, логарифмические и экспоненциальные операторы, с непрерывными и дискретными переменными. Доступные алгоритмы: расширенный метод ветвей и границ для глобальной оптимизации, включающий деление ограничений, интервальный анализ и двойственность. Особенности: Глобальная оптимизация для задач, которые потенциально могут иметь множество локально оптимальных решений.Дополнительная информация
Веб-сайт: www.minlp.com Список настроек BARON для AMPL Руководство пользователя и список настроек BARON* Ознакомиться с условиями приобретения и ценами.
LGO для AMPL
LGO способна определять высококачественные решения проблем глобальной оптимизации, которые имеют (множество) локально оптимальных решений. Поскольку LGO делает только ограниченные предположения относительно структуры проблемы и дифференцируемости, его можно применять для широкого диапазона проектных и операционных приложений.Аннотация
Разработчик: Pintér Consulting Services, Inc. Текущая версия: 2014-12-04 Поддерживаемые типы задач: Непрерывные нелинейные цели и ограничения без запретов в отношении гладкости или выпуклости. Доступные алгоритмы: набор методов, включая эвристические глобальные предварительные вычисления, разбиение и поиск (непрерывный переход и ограничение), глобальный случайный поиск (с одним запуском и с несколькими запусками) и локальная оптимизация с ограничениями (с уменьшенным градиентом). Особенности: Расширение для поддержки целочисленных переменных находится в стадии разработки.Дополнительная информация
Веб-сайт: Домашняя страница Яноша Д.Пинтера Руководство пользователя и список настроек LGO для AMPL Презентация профессора Пинтера: Нелинейная оптимизация в AMPL с LGO* Ознакомиться с условиями приобретения и ценами.
LINDO Global для AMPL
LINDO Global – это универсальный нелинейный оптимизатор, который поддерживает глобальную оптимизацию непрерывных и дискретных переменных. Он принимает множество целевых функций и функций ограничений, в том числе многие невыпуклые и негладкие.Аннотация
Разработчик: LINDO Systems Inc. Текущая версия: 13.0 Поддерживаемые типы задач: Глобальная нелинейная оптимизация c непрерывными и целочисленными переменными. Доступные алгоритмы: мощные линейные, квадратичные и общие методы нелинейного программирования в рамках структуры ветвей и границ для глобальной и дискретной оптимизации. Специальные возможности: Поддержка нелинейных и негладких функций, обрабатываемых несколькими другими решателями, включая: тригонометрические, обратные тригонометрические, гиперболические и обратные гиперболические функции. Минимальное, максимальное и абсолютное значение; нижний, наивысший, округление и усеченние.Дополнительная информация
Веб-сайт: Lindo Systems Руководство пользователя и список настроек LINDO Global для AMPL Что нового в Lindo Global 13,0* Ознакомиться с условиями приобретения и ценами.