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

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

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

Ссылки

^ Гент, Ян П.; Джефферсон, Крис; Мигель, Ян. «Minion: быстрый, масштабируемый решатель ограничений» (PDF) .

Внешние ссылки

Репозиторий Github

Эта искусственному интеллекту статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее .

[1] Гент, Ян П.; Джефферсон, Крис; Мигель, Ян. «Minion: быстрый, масштабируемый решатель ограничений» (PDF) .

[1]