Применяемые пакеты оптимизации

Сведения об установленных пакетах

В настоящее время на всех доступных нам ресурсах мы предпочитаем ставить "комплект" из трех решеателей для основных типов задач математического программирования:

  1. SCIP (сейчас - версия 6.0.0) реализует метод ветвей-и-границ для  линейных и нелинейных задач LP/MILP/MINLP  (c частично-целочисленными перменными и нелинейными ограничениями - невыпуклыми многочленами), включая AMPL-совместимый вариант приложения SCIPAMPL. Для кластеров доступна MPI-параллельная версия ParaSCIP;
  2. Ipopt (сейчас - версия 3.12.9) реализует метод внутренней точки для поиска локального решения в нелинейных гладких задачах с непрерывными переменными) см. особенности применения многопоточной сборки Ipopt;
  3. CBC (сейчас - версия 2.9.9) реализует метод ветвей и границ для линейных задач c частично-целочисленными перменными (LP/MILP), предусматривает многопоточный режим работы.

Приводимые ниже сведения являются несколько устаревшими...

Лицензированные, на irbis1.isa.ru

SNOPT 7.2-8 , KNITRO 7.0

C открытым кодом

 lpsolve ("везде" стоит последняя версия 5.5.2.0)

GLPK ("везде", какая-то не самая древняя)

Пакеты проекта COIN-OR

Ipopt (везде, см. особенности применения многопоточной сборки)

Clp

CBC (на базе CLP)

Поолный список настроек CBC (commands, в терминологии CBC) можно получить, исполнив в командной строке
$cbc -allC all -verbose 15 ?
результат  для пакета CBC 2.8.8 здесь

Bonmin

SCIP (Solving Constrained Integer Problems)
список опций
пакета SCIP 3.1.0 здесь ( более 1600 параметров)
пакета SCIP 3.2.1 здесь ( почти 1900 параметров)