• Язык моделирования, – с помощью которого происходит описание и разработка математических моделей, данных оптимизации, переменных, целей и ограничений;
• Командный язык, – для просмотра моделей и анализа результатов;
• Язык сценариев, – для сбора и обработки данных, а также для реализации различных схем последовательной оптимизации.

• Разносторонняя поддержка множеств и операторов множеств. Модели AMPL могут использовать наборы пар, троек и более длинные кортежи. Коллекции наборов, проиндексированных по другим наборам. Неупорядоченные, упорядоченные и круговые наборы объектов, и наборы чисел;
• Общий и естественный синтаксис для арифметических, логических и условных выражений. Интуитивно понятные соглашения суммирования и других операторов повторения;
• Автоматическая обработка линейных и выпуклых квадратичных задач с использованием непрерывных и целочисленных переменных;
• Дополнительные инструменты для нелинейного программирования, такие как начальные, первичные и двойные значения, пользовательские функции, быстрое автоматическое различие и автоматическое исключение «определенных» переменных;
• Удобные альтернативные обозначения сетевых потоков, кусочно-линейных функций, условий дополнительности и логических условий.

• Интерактивная командная среда с параметрами пакетной обработки. Мощные команды вывода данных позволяют получить любую структурированную информацию о компонентах модели или выражениях. Вывод данных на экран либо в файл, используя автоматическое форматирование или собственные настройки пользователя;
• Мощный язык сценариев, включает циклы и команду if-then-else. Сценарии на командном языке AMPL могут определять сложные схемы обработки входных данных, многократно корректировать и решать комплексную задачу, состоящую из нескольких моделей. Подготавливать результаты для последующего анализа;
• Разделение логической модели и данных. Модели AMPL остаются краткими даже при увеличении размерности наборов и таблиц данных. Модели могут включать множество видов различных условий проверки данных;
• Импорт и экспорт данных. Краткие утверждения связывают данные модели с данными из реляционных таблиц.

• Покупка решателя у нас. Предлагаемая нами линейка профессиональных решателей включает в себя самые современные и мощные решатели для оптимизации, с интерфейсом подключения к AMPL;
  • Линейные и выпуклые квадратичные решатели, – для непрерывных и смешанно-целочисленных задач (CPLEX, Gurobi, Xpress);
  • Нелинейные решатели, – для поиска локального решения непрерывных задач (CONOPT, LOQO, KNITRO, MINOS, SNOPT).
• Скачать решатели с открытым исходным кодом. Интерфейс взаимодействия настроек решателей с AMPL включен в ряд популярных решателей, распространяемых по лицензиям с открытым исходным кодом. Мы предоставляем ссылки на предварительно скомпилированные файлы, чтобы вы могли быстро начать использование этих бесплатных решателей с AMPL;
• Приобретение решателей напрямую у разработчиков. Наш полный список решателей с интерфейсом AMPL включает множество вариантов, которые смогут удовлетворить все ваши потребности.

• отправить модель и данные в облачный сервер (работа AMPL и решателей осуществляется на удаленном сервере);
• с помощью подключения с локального компьютера к облачному серверу через дополнение AMPL – Kestrel (компиляция модели происходит в сеансе AMPL на локальном компьютере, а решение модели происходит с помощью удаленных решателей размещенных на облачном-серевере). Узнать больше о Kestrel можно здесь.

• Оптимизация с ограничениями: L-BFGS-B;
• Проблемы комплементарности: filterMPEC, Knitro, PATH;
• Глобальная оптимизация: ASA, BARON, Couenne, PGAPack, PSwarm, SCIP;
• Линейное программирование: bpmpd, CPLEX, Gurobi, MOSEK, OOQP, Xpress;
• Целочисленное линейное программирование: CBC, CPLEX, Gurobi, MINTO, SCIP, Xpress;
• Смешанное целочисленное нелинейное программирование: BARON, Bonmin, Couenne, FilMINT, Knitro, MINLP, SCIP;
• Смешано-целочисленные задачи оптимального управления: MUSCOD-II;
• Недифференцируемая оптимизация: condor;
• Оптимизация с нелинейными ограничениями: CONOPT, filter, Ipopt, Knitro, LANCELOT, LOQO, MINOS, SNOPT;
• Полубесконечная оптимизация: nsips.

• Глобальная оптимизация: icos;
• Смешанное целочисленное линейное программирование: feaspump, qsopt_ex.

• веб-отправка, путем загрузки на сервер локальных файлов, через формы расположенные на странице решателя;
• отправка электронного письма по определенному шаблону, для которого предоставляется образец;
• связь из клиентской программы на поддерживаемом языке (Python, Perl, PHP, C, C ++, Java, Ruby) через вызовы API NEOS на основе XML-RPC.

• kestrel.zip для систем Windows;
• kestrel.tar.gz для систем на базе Unix, включая Linux и OS X.

option solver kestrel;

option kestrel_options 'solver=loqo';

option loqo_options 'minlocfil sigfig=8 outlev=2';

option email 'mail@solverytic.com';

ampl: model steelT.mod;
ampl: data steelT.dat;

ampl: option solver kestrel;
ampl: option kestrel_options 'solver=loqo';
ampl: option loqo_options 'minlocfil sigfig=8 outlev=2';
ampl: option email 'info@ampl.com';

ampl: solve;
Connecting to: neos-server.org:3333
Job 10219877 submitted to NEOS, password='MipoAHfd'
Check the following URL for progress report :
https://neos-server.org/neos/cgi-bin/nph-neos-solver.cgi?admin=results&jobnumber=10219877&pass=MipoAHfd
Job 10219877 dispatched
password: MipoAHfd
---------- Begin Solver Output -----------
Condor submit: 'neos.submit'
Condor submit: 'watchdog.submit'
Job submitted to NEOS HTCondor pool.

LOQO 7.00: optimal solution (15 QP iterations, 15 evaluations)
primal objective 515032.9977724714
  dual objective 515033.0024976235

• • Оптимизация с ограничениями: L-BFGS-B;
  • Проблемы комплементарности: Knitro, PATH;
  • Глобальная оптимизация: Couenne, LGO, RAPOSa;
  • Линейное программирование: CPLEX, MOSEK, OOQP;
  • Смешанное целочисленное линейное программирование: Cbc, CPLEX, MINTO, MOSEK;
  • Смешанная целочисленная оптимизация с нелинейными ограничениями: Bonmin, Couenne, FilMINT, Knitro, MINLP;
  • Оптимизация с нелинейными ограничениями: CONOPT, filter, Ipopt, KNITRO, LANCELOT, LOQO, MINOS, SNOPT.

option kestrel_options 'solver';

option loqo_options 'minlocfil sigfig = 8 outlev = 2';

model steelT.mod;
data steelT.dat;
option solver kestrel;
option kestrel_options 'job=2746671 password=AnVsgUKc';
solve;

option kestrel_options 'job=6893 password=FaahsrIh';
commands kestrelkill;

• Однопользовательская: позволяет запускать продукт с любым количеством одновременных процессов на одном назначенном компьютере одним пользователем. Совместное использование идентификатора пользователя для разрешения доступа к однопользовательской лицензии нескольким пользователям категорически запрещено лицензионным соглашением.
• Плавающая: позволяет одновременно активизировать одного пользователя (AMPL, BARON, CONOPT, LGO, MINOS, SNOPT) или один процесс (CPLEX, Gurobi, Knitro, Xpress) на любом компьютере в сети, на котором установлен продукт. Один компьютер должен быть назначен сервером лицензий. Он может управлять любым количеством нефиксированных лицензий и может быть настроен для ограничения запросов определенным списком диапазонов сетевых (IP) адресов.
• Серверная: позволяет запускать продукт любому количеству пользователей с любым количеством одновременных процессов на одном назначенном компьютере. «Сокет» обозначает одну микросхему процессора, имеющую любое количество ядер. Цены на одно, двух и четырехпроцессорные платы применяются к компьютерам, имеющим соответственно один, два и четыре процессорных чипа.

• AMPL для бизнеса ;
• AMPL academic ;
• Бесплатная 30-дневная пробная лицензия AMPL AMPL Trial ;
• Бесплатная демо-версия AMPL AMPL Demo ;
• Бесплатный AMPL для обучения AMPL for Courses ;
• Бесплатный AMPL для новых выпускников AMPL for New Graduates ;
• AMPL на NEOS Server ;

• zip-файл с окончаниями строк, характерными для Windows;
• сжатый файл tar с окончанием строки, характерный для Unix.

• Часть 1: Анализ чувствительности и форматирование данных;
• Часть 2: Итерационные схемы, включая генерацию столбцов, разложение Данцига-Вульфа и Бендерса и лагранжевую релаксацию.