Недостатки использования Solver Foundation для программирования ограничений

Question

Каковы недостатки использования Microsoft Solver Foundation для CLP?У Solver есть некоторая поддержка в версиях Express / Standard, но можно подумать, что нужно будет купить дорогие дополнения Gurobi / Knitro, чтобы выполнить что-то большее, чем простейшее программирование с ограничениями.

Чисто учитывая, что это CLPвозможности, как Solver сравнивается с ECLiPSe?

Answer 1

Основным недостатком является то, что Microsoft Solver Foundation больше не выпускается как отдельный продукт, как упоминалось здесь :

Как отметили пользователи, Microsoft не была активна на Солвере Основы форумов с тех пор, как Нейт ушел. Мы были тихи, пока мы прошел реструктуризацию и планирование. Некоторые скажут, что мы были Слишком тихо. Мы знаем, что у нас есть очень лояльные и восторженные пользователи, которые хотят узнать будущее Solver Foundation. Итак, здесь давно пора заявление о наших планах по созданию фонда Солвер.

Текущий выпуск MSF версии 3.1 будет последним выпуском автономная установка. Мы усердно работаем над интеграцией Microsoft Solver Foundation в более масштабную аналитическую среду, которая поможет пользователи создают аналитическую и прогнозную аналитику. Мы смотрим жду выпуска этого нового продукта для вашего использования, как только мы в состоянии сделать это. Этот новый продукт обеспечит путь миграции для текущие пользователи и партнеры Фонда Солвер.

Мы хотели бы продолжать поддерживать текущий форум открытым для сообщество обсудит MSF до выхода нового продукта. Тем не менее, Microsoft будет предоставлять ограниченную поддержку MSF с точки зрения мониторинга форумов и предоставления исправлений ошибок во время этого время перехода.

Мы отвечали на электронные письма и будем продолжать это делать. если ты есть отзывы о проблемах / ошибках / улучшениях, мы приветствуем ваши отзывы через msfsupport@microsoft.com. Пожалуйста, зайдите на форум для будущие объявления о новом аналитическом продукте.

Проект ECLiPSe , с другой стороны, представляется гораздо более устоявшимся проектом в области программирования с ограничениями со значительным количеством публикаций . Это также открытый исходный код, поэтому нет возможности для блокировки поставщика.

Я бы также порекомендовал рассмотреть:

• Расширения «Логика» и «Ограничение» для AMPL
• Google CP Solver

Answer 2

Re: размеры модели, для Solver Foundation Express (базовая «бесплатная» версия):

• Линейное или квадратичное программирование 50 000 ненулевых элементов
• Смешанное целочисленное программирование - 1000 переменных, 1000 ограничений и 5000 ненулей
• Ограниченное программирование - 5 000 общих условий
• Нелинейное программирование - без ограничений

Стандартная версия имеет примерно удвоенную емкость, а версии Enterprise / Academic являются «неограниченными» без каких-либо реальных ограничений на использование ядра / ЦП.

Re: преимущества Огромным (ИМХО) преимуществом Solver Foundation является подход объектной модели к определению ваших моделей. Делает для простых в настройке моделей программно в C # или на любой язык, к которому у вас есть привязки, или вы можете использовать входы AMPL и MPS, если хотите. Существует также пользовательский язык определения модели (OML), который я не использовал, но выглядит неплохо.

Re: недостаток Вы привязаны к частной настройке, если это важно для вас. Для LP GNU, проверьте GLPK . Я добавил несколько моделей с ограничением> 20 тыс. В него без проблем, и у него довольно активная группа пользователей.

От: Установка Solver Foundation