SOLVERS (РЕШАТЕЛИ) ДЛЯ AMPL
Многие разработчики решателей используют библиотеку AMPL-решатели для создания своих решателей. Далее в таблице представлен подробный список доступных решателей и ссылки на дополнительную информацию о них. Для удобства в таблице имеются также ссылки на решатели, доступные для приобретения непосредственно у нас, и бесплатные решатели с открытым исходным кодом.
Дополнения или исправления в этот список можно отправить по адресу mail@solverytic.com.
Подключение новых решателей к AMPL
Мы заинтересованы в использовании новых решателей, поскольку AMPL использует доступные интерфейсы для всесторонней поддержки гибких и полностью документированных форматов файлов для задач оптимизации и их результатов. Доступны подробные инструкции и примеры, которые помогут пользователям (или разработчикам) написать драйвер AMPL. После этого AMPL может настроить взаимодействие с вашим решателем, получить доступ к настройкам его алгоритмических параметров, отправить этому решателю задачу для решения и получить результаты точно так же, как в настоящее время AMPL взаимодействует с другими решателями. Ознакомьтесь с нашими инструкциями для получения более подробной информации.
Ключ к таблице решателя
Типы алгоритмов.
- Линейный (симплексный): линейная цель и ограничения для одной из версий симплексного метода;
- Линейный (внутренний): Линейная цель и ограничения с использованием одной из версий внутреннего (или барьерного) метода;
- Сеть: Линейная цель и ограничения сетевого потока, определенные одной из версий симплексного метода сети;
- Квадратичные: выпуклые или вогнутые квадратичные целевые и линейные ограничения с использованием метода симплексного или внутреннего типа;
- Нелинейный: Непрерывная, но не полностью линейная цель и ограничения, с применением одного из версий методов, включая уменьшенный градиент, квазиньютон, расширенный лагранжиан и внутреннюю точку. Если не указано иное (см. Ниже), возможно, оптимально только для некоторой локальной окрестности;
- Нелинейная выпуклая: нелинейная с целью, которая является выпуклой (если минимизация) или вогнутой (если максимизация), и ограничениями, которые определяют выпуклую область. Гарантия оптимальности на всем протяжении;
- Нелинейный глобальный: нелинейный, но требующий решения для всех точек допустимой области;
- Комплементарность: линейная или нелинейная, как указано выше, с условиями дополнительности;
- Целочисленная линейная: линейная цель и ограничения и некоторые или все целочисленные переменные с помощью метода ветвей и границ, который применяет линейный решатель к последовательным подзадачам.
- Целочисленная нелинейность: непрерывные, но не полностью линейные цель и ограничения, а также некоторые или все целочисленные переменные с использованием метода ветвей и границ, который использует нелинейный решатель к последовательным подзадачам;
* Принятые в таблице обозначения:
Поставщик или сайт загрузки. Источники дополнительной информации для получения и использования решателя. Эта запись может быть ссылкой на веб-сайт разработчика или поставщика или (если указано) на сайт, с которого можно загрузить решатель и документацию.
Код драйвера. Где доступно, ссылка на каталог в www.netlib.org/ampl/solvers, из которого можно загрузить исходный код C, для создания версии решателя с поддержкой AMPL.
Документация. Ссылки на инструкции по доступу к решателю и параметрам решателя из среды AMPL.
ACRS | Связаться с Г. Лиуцци | |||
ALGENCAN | См. сайт TANGO | |||
BARON | BARON для AMPL Руководство пользователя |
|||
BLMVM | См. сайт www.mcs.anl.gov/petsc/ | Таблица параметров | ||
Bonmin | См. сайт www.projects.coin-or.org/Bonmin | Руководство пользователя | ||
BPMPD | Скачать с www.netlib.org/opt/ | README.bpmpd Таблица параметров |
||
CBC | Целочисленный | См. сайт www.projects.coin-or.org/Cbc | Руководство пользователя | |
CONDOR | недифференцируемый | См. сайт www.applied-mathematics.net/ | ||
CONOPT | README.conopt CONOPT с AMPL |
|||
Couenne | См. сайт www.projects.coin-or.org/Couenne | |||
CPLEX | Линейный (внутренний) Сетевой Квадратичный Целочисленный линейный Целочисленная квадратичная | README.1st README.cplex IBM ILOG AMPL CPLEX 12.2 Руководство пользователя |
||
DONLP2 | Информационная страница DONLP2 | README.donlp2 Руководство пользователя и Таблица параметров | ||
FilMINT | Связаться с авторами слайдов и бумаги FilMINT | Слайды Руководство пользователя Таблица команд |
||
FILTER / MINLP | Целочисленный нелинейный | Решатели Dundee для MINLP / NLP / QP | Таблица параметров FILTER и MINLP |
|
FortMP | Линейный (внутренный) Квадратичный Целочисленный линейный Целочисленный квадратичный | Системы OptiRisk | Таблица параметров | |
FSQP | Дизайн AEM | README.fsqp | ||
Gecode | www.gecode.org | Таблица параметров | ||
Gurobi | Линейный (внутренняя) Квадратичный Целочисленный линейный Целочисленный квадратичный | README.1st README.gurobi Руководство пользователя |
||
IBM ILOG CPLEX CP | Параметры ILogCP | |||
IPOPT | www.projects.coin-or.org/Ipopt | |||
JaCoP | Страница загрузки | Варианты JaCoP | ||
KNITRO | ||||
LANCELOT | Страница загрузки | README.lancelot Таблица параметров |
||
L-BFGS-B | ограниченные переменные | См. cтраницу L-BFGS-B | Таблица параметров | |
LGO | Руководство пользователя | |||
LINDO Global | Таблица параметров | |||
LOQO | Квадратичный Нелинейный | См. сайт LOQO | Таблица параметров | |
LP_SOLVE | Целочисленный линейный | См.сайт lpsolve | lp_solve для AMPL | |
MINLP | Cм. запись для FILTER / MINLP | |||
MINOS | Нелинейный | README.1st README.minos AMPL / MINOS |
||
MINTO | Целочисленный линейный | MINTO в COR | Таблица параметров | |
MOSEK | Линейный (внутренняя) Квадратичный, нелинейный выпуклый Целочисленный линейный, Целочисленный квадратичный | См. сайт MOSEK | Таблица параметров | |
NPSOL | README.npsol | |||
NSIPS | См.сайт NSIPS | Таблица параметров | ||
OOQP | квадратичный выпуклый | См. сайт OOQP | ||
PATH | Скачать двоичные файлы: 32-битный Linux 64-битный Linux OS X 32-битный Windows 64-битный Windows | Скачать лицензию README.path Таблица параметров |
||
PCx | См. сайт PCx | |||
PENNON | См. сайт PENNON | Руководство пользователя (версия 1.3) | ||
RAPOSa | (полиномиальный) | См. сайт RAPOSa | RAPOSa | |
SCIP | Целочисленный нелинейный | См. “Исполняемые файлы” в списке загрузок SCIP. | онлайн-документация | |
SNOPT | README.snopt Таблица параметров |
|||
SOPT | Квадратичный Нелинейный выпуклый Целочисленный линейный | SAITECH, Inc. | ||
Sulum | Целочисленный линейный | Оптимизация Сулума | Таблица параметров | |
TRON | См. сайт TRON | Таблица параметров | ||
WSAT (OIP) | Скачать | |||
XA | Целочисленный линейный | См. сайт | ||
XLSOL LS-XLSOL | Квадратичный Целочисленный линейный | Frontline Systems, Inc. | ||
Xpress | Линейная (внутренняя) Квадратичная Целочисленная линейная | README.1st Таблица параметров README.xpress |