Миньон (решатель) - Minion (solver)

Миньон решает проблемы удовлетворения ограничений. В отличие от программирование в ограничениях наборы инструментов, которые предполагают, что пользователи будут писать программы на традиционном языке программирования, таком как C ++, Ява или же Пролог, Миньон берет текстовый файл, в котором указывается проблема, и решает, используя только его. Это значительно упрощает использование Minion за счет гораздо меньшей настройки.

Это ограничение позволяет Minion быть во много раз быстрее, чем конкурирующие коммерческие решатели, например, Minion оказался быстрее, чем основной коммерческий решатель ограничений, CPLEX (ранее ILOG CPLEX, затем IBM ILOG).

внешняя ссылка