ALL_Solvers

SOLVERS (РЕШАТЕЛИ) ДЛЯ AMPL

Многие разработчики решателей используют библиотеку AMPL-решатели для создания своих решателей. Далее в таблице представлен подробный список доступных решателей и ссылки на дополнительную информацию о них. Для удобства в таблице имеются также ссылки на решатели, доступные для приобретения непосредственно у нас, и бесплатные решатели с открытым исходным кодом.
Дополнения или исправления в этот список можно отправить по адресу mail@solverytic.com.

Подключение новых решателей к AMPL

Мы заинтересованы в использовании новых решателей, поскольку AMPL использует доступные интерфейсы для всесторонней поддержки гибких и полностью документированных форматов файлов для задач оптимизации и их результатов. Доступны подробные инструкции и примеры, которые помогут пользователям (или разработчикам) написать драйвер AMPL. После этого AMPL может настроить взаимодействие с вашим решателем, получить доступ к настройкам его алгоритмических параметров, отправить этому решателю задачу для решения и получить результаты точно так же, как в настоящее время AMPL взаимодействует с другими решателями. Ознакомьтесь с нашими инструкциями для получения более подробной информации.

Ключ к таблице решателя

Типы алгоритмов.

  • Линейный (симплексный): линейная цель и ограничения для одной из версий симплексного метода;
  • Линейный (внутренний): Линейная цель и ограничения с использованием одной из версий внутреннего (или барьерного) метода;
  • Сеть: Линейная цель и ограничения сетевого потока, определенные одной из версий симплексного метода сети;
  • Квадратичные: выпуклые или вогнутые квадратичные целевые и линейные ограничения с использованием метода симплексного или внутреннего типа;
  • Нелинейный: Непрерывная, но не полностью линейная цель и ограничения, с применением одного из версий методов, включая уменьшенный градиент, квазиньютон, расширенный лагранжиан и внутреннюю точку. Если не указано иное (см. Ниже), возможно, оптимально только для некоторой локальной окрестности;
    • Нелинейная выпуклая: нелинейная с целью, которая является выпуклой (если минимизация) или вогнутой (если максимизация), и ограничениями, которые определяют выпуклую область. Гарантия оптимальности на всем протяжении;
    • Нелинейный глобальный: нелинейный, но требующий решения для всех точек допустимой области;
  • Комплементарность: линейная или нелинейная, как указано выше, с условиями дополнительности;
  • Целочисленная линейная: линейная цель и ограничения и некоторые или все целочисленные переменные с помощью метода ветвей и границ, который применяет линейный решатель к последовательным подзадачам.
  • Целочисленная нелинейность: непрерывные, но не полностью линейные цель и ограничения, а также некоторые или все целочисленные переменные с использованием метода ветвей и границ, который использует нелинейный решатель к последовательным подзадачам;
* Принятые в таблице обозначения:

Поставщик или сайт загрузки. Источники дополнительной информации для получения и использования решателя. Эта запись может быть ссылкой на веб-сайт разработчика или поставщика или (если указано) на сайт, с которого можно загрузить решатель и документацию.
Код драйвера. Где доступно, ссылка на каталог в www.netlib.org/ampl/solvers, из которого можно загрузить исходный код C, для создания версии решателя с поддержкой AMPL.

Документация. Ссылки на инструкции по доступу к решателю и параметрам решателя из среды AMPL.

Решатель
Типы алгоритмов
Cайт загрузки
Код драйвера
Документация
ACRS
Нелинейный глобальный
Связаться с Г. Лиуцци
ALGENCAN
Нелинейный
См. сайт TANGO
BARON
Нелинейный целочисленный глобальный
ЗАКАЖИТЕ У НАС!
BARON для AMPL
Руководство пользователя
BLMVM
Нелинейные ограничения и переменные
См. сайт www.mcs.anl.gov/petsc/Таблица параметров
Bonmin
Нелинейный целочисленный
См. сайт www.projects.coin-or.org/BonminРуководство пользователя
BPMPD
Линейный (внутренний)
Скачать с www.netlib.org/opt/
main.c
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
Линейный (симплекс)
Линейный (внутренний) 
Сетевой
Квадратичный 
Целочисленный линейный 
Целочисленная квадратичная
ЗАКАЖИТЕ У НАС!
cplex.c
README.1st 
README.cplex
IBM ILOG AMPL CPLEX 12.2 Руководство пользователя
DONLP2
Нелинейный
Информационная страница DONLP2README.donlp2
Руководство пользователя и
Таблица параметров
FilMINT
Целочисленный нелинейный
Связаться с авторами слайдов и бумаги FilMINTСлайды
Руководство пользователя
Таблица команд
FILTER /
MINLP
Нелинейный 
Целочисленный нелинейный
Решатели Dundee для MINLP / NLP / QPТаблица параметров
FILTER и MINLP
FortMP
Линейный (симплексный)
Линейный (внутренный)
Квадратичный
Целочисленный линейный
Целочисленный квадратичный
Системы OptiRiskТаблица параметров
FSQP
Нелинейный
Дизайн AEM
fsqp.c
README.fsqp
Gecode
Программирование ограничений
www.gecode.org
GitHub
Таблица параметров
Gurobi
Линейный (симплекс)
Линейный (внутренняя)
Квадратичный
Целочисленный линейный
Целочисленный квадратичный
ЗАКАЖИТЕ У НАС!
gurobi.c
README.1st 
README.gurobi
Руководство пользователя
IBM ILOG CPLEX CP
Программирование ограничений
ЗАКАЖИТЕ У НАС!
GitHub
Параметры ILogCP
IPOPT
Нелинейный
www.projects.coin-or.org/Ipopt
JaCoP
Программирование ограничений
Страница загрузки
GitHub
Варианты JaCoP
KNITRO
Нелинейный целочисленный
ЗАКАЖИТЕ У НАС!
LANCELOT
Нелинейный
Страница загрузки
lancelot.c
README.lancelot
Таблица параметров
L-BFGS-B
Нелинейный
ограниченные переменные
См. cтраницу
L-BFGS-B
Таблица параметров
LGO
Нелинейный глобальный
ЗАКАЖИТЕ У НАС!
Руководство пользователя
LINDO Global
Нелинейный целочисленный глобальный
ЗАКАЖИТЕ У НАС!
Таблица параметров
LOQO
Линейный (внутренний)
Квадратичный
Нелинейный
См. сайт LOQOТаблица параметров
LP_SOLVE
Линейный (симплексный)
Целочисленный линейный
См.сайт lpsolve
lpsolve
lp_solve для AMPL
MINLP
Целочисленный нелинейный
Cм. запись для FILTER / MINLP
MINOS
Линейный (симплекс) 
Нелинейный
ЗАКАЖИТЕ У НАС! Stanford Business Software
m551.c
README.1st README.minos
AMPL / MINOS
MINTO
Линейный (симплекс) 
Целочисленный линейный
MINTO в CORТаблица параметров
MOSEK
Линейный (симплекс)
Линейный (внутренняя)
Квадратичный, нелинейный выпуклый
Целочисленный линейный, Целочисленный квадратичный
См. сайт MOSEKТаблица параметров
NPSOL
Нелинейный
Stanford Business Software
npsol.c
README.npsol
NSIPS
Нелинейный полубесконечный
См.сайт NSIPSТаблица параметров
OOQP
Линейный 
квадратичный выпуклый
См. сайт  OOQP
PATH
Комплементарность
Скачать двоичные файлы:
32-битный Linux 
64-битный Linux 
OS X 
32-битный Windows 
64-битный Windows
path.c
Скачать лицензию  README.path
Таблица параметров
PCx
Линейный (внутренний)
См. сайт PCx
PENNON
Нелинейный
См. сайт PENNONРуководство пользователя (версия 1.3)
RAPOSa
Глобальный нелинейный 
(полиномиальный)
См. сайт RAPOSaRAPOSa
SCIP
Целочисленный линейный
Целочисленный нелинейный
См. “Исполняемые файлы” в списке загрузок SCIP.онлайн-документация
SNOPT
Нелинейный
ЗАКАЖИТЕ У НАС!
snopt.c
README.snopt
Таблица параметров
SOPT
Линейный (симплекс)
Квадратичный
Нелинейный выпуклый
Целочисленный линейный
SAITECH, Inc.
Sulum
Линейный (симплексный)
Целочисленный линейный
Оптимизация Сулума
GitHub
Таблица параметров
TRON
Нелинейный с ограничением переменных
См. сайт TRONТаблица параметров
WSAT (OIP)
Целочисленные линейные ограничения
Скачать
XA
Линейный (симплексный)
Целочисленный линейный
См. сайт
XLSOL
LS-XLSOL
Линейный (симплекс) 
Квадратичный Целочисленный линейный
Frontline Systems, Inc.
Xpress
Линейная (симплексная) 
Линейная (внутренняя) 
Квадратичная 
Целочисленная линейная
ЗАКАЖИТЕ У НАС!
xpress.c
README.1st 
Таблица параметров README.xpress