Недостатки использования Solver Foundation для программирования ограничений
Каковы недостатки использования Microsoft Solver Foundation для CLP? У Solver есть некоторая поддержка в версиях Express/Standard, но можно подумать, что нужно будет купить дорогие дополнения Gurobi / Knitro, чтобы выполнить нечто большее, чем простейшее программирование ограничений.
С точки зрения возможностей CLP, как Solver сравнивается с ECLiPSe?
2 ответа
Основным недостатком является то, что Microsoft Solver Foundation больше не выпускается как отдельный продукт, как указано здесь:
Как отмечают пользователи, Microsoft не была активна на форумах Solver Foundation с тех пор, как ушел Нейт. Мы молчали, пока проходили реструктуризацию и планирование. Некоторые скажут, что мы были слишком тихими. Мы знаем, что у нас есть очень лояльные и увлеченные пользователи, которые хотят знать будущее Solver Foundation. Итак, вот давно назревшее заявление о наших планах по созданию фонда Солвер.
Текущая версия 3.1 MSF будет последней версией в качестве отдельной установки. Мы усердно работаем над интеграцией Microsoft Solver Foundation в более масштабную аналитическую среду, которая поможет пользователям создавать как аналитические, так и прогнозные аналитические инструменты. Мы с нетерпением ждем возможности выпустить этот новый продукт для вашего использования, как только сможем это сделать. Этот новый продукт обеспечит путь миграции для текущих пользователей и партнеров Solver Foundation.
Мы хотели бы продолжать поддерживать текущий форум открытым для сообщества, чтобы обсуждать MSF до выпуска нового продукта. Тем не менее, Microsoft будет предоставлять ограниченную поддержку MSF в плане мониторинга форумов и исправления ошибок в течение этого переходного периода.
Мы отвечали на электронные письма и будем продолжать это делать. Если у вас есть отзывы о проблемах / ошибках / улучшениях, мы будем рады получить ваши отзывы по адресу msfsupport@microsoft.com. Пожалуйста, зайдите на форум для будущих объявлений о новом аналитическом продукте.
Проект ECLiPSe, с другой стороны, представляется гораздо более устоявшимся проектом в области программирования с ограничениями с большим количеством публикаций. Он также с открытым исходным кодом, поэтому нет возможности для блокировки поставщика.
Я также рекомендовал бы рассмотреть:
Re: размеры моделей, для Solver Foundation Express (базовая "бесплатная" версия):
- Линейное или квадратичное программирование 50 000 ненулевых
- Смешанное целочисленное программирование - 1000 переменных, 1000 ограничений и 5000 ненулей
- Ограниченное программирование - 5000 общих условий
- Нелинейное программирование - без ограничений
Стандартная версия имеет примерно удвоенную емкость, а версии Enterprise/Academic являются "неограниченными" без каких-либо реальных ограничений на использование ядра / ЦП.
Re: преимущества Огромным (IMHO) преимуществом Solver Foundation является подход объектной модели к определению ваших моделей. Делает для простых в настройке моделей программно в C# или на любой язык, к которому у вас есть привязки, или вы можете использовать входы AMPL и MPS, если хотите. Существует также пользовательский язык определения модели (OML), который я не использовал, но выглядит довольно хорошо.
Re: недостаток Вы привязаны к частной установке, если это имеет значение для вас. Для LP GNU, проверьте GLPK. Я добавил несколько моделей с ограничением>20 тыс. В это без проблем, и у него довольно активная группа пользователей.