使用 Solver Foundation 进行约束规划的缺点

发布于 2024-10-18 09:28:22 字数 192 浏览 4 评论 0原文

使用 Microsoft Solver Foundation for CLP 有哪些缺点? Solver 确实在 Express/Standard 版本中提供了一些支持,但可以想象,人们需要购买昂贵的 Gurobi / Knitro 附加组件才能完成最基本的约束编程之外的任何事情。

纯粹考虑其 CLP 功能,Solver 与 ECLiPSe 相比如何?

What are the disadvantages of using Microsoft Solver Foundation for CLP? Solver does have some support in the Express/Standard versions, but would imagine that one would need to buy the expensive Gurobi / Knitro add-ons to accomplish anything more than the most basic constraint programming.

Purely considering it's CLP capabilities, how does Solver compare to ECLiPSe?

如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。

扫码二维码加入Web技术交流群

发布评论

需要 登录 才能够评论, 你可以免费 注册 一个本站的账号。

评论(2

離殇 2024-10-25 09:28:22

主要缺点是 Microsoft Solver Foundation 已不再作为独立产品,如前所述 此处

正如用户所指出的,微软在 Solver 上并不活跃
内特离开后的基金会论坛。我们一直保持安静
经历了重组和规划。有人会说我们已经
太安静了。我们知道我们有非常忠诚和热情的用户,他们想要
了解 Solver 基金会的未来。所以,这是一个迟来已久的
关于我们 Solver 基金会计划的声明。

MSF 当前的 3.1 版本将是最后一个版本
独立安装。我们正在努力整合微软
Solver Foundation 成为一个更大的分析框架,这将有助于
用户构建规范性分析和预测性分析。我们看
期待尽快发布这款新产品供您使用
能够这样做。该新产品将为
当前 Solver Foundation 用户和合作伙伴。

我们希望继续保持当前论坛向
社区讨论 MSF,直到新产品发布。
然而,微软将为 MSF 提供有限的支持
在此期间监控论坛并提供错误修复
过渡时间。

我们一直在回复电子邮件,并将继续这样做。如果你
对问题/错误/改进有反馈,我们欢迎您的反馈
通过[电子邮件受保护]。请返回论坛查看
有关新分析产品的未来公告。

另一方面,ECLiPSe 项目 似乎是约束规划领域中一个更加成熟的项目,拥有大量的出版物。它也是开源的,因此不存在供应商锁定的可能性。

我还建议考虑:

The main disadvantage is that Microsoft Solver Foundation is discontinued as a standalone product as mentioned here:

As users have pointed out, Microsoft has not been active on the Solver
Foundation forums since Nate left. We have been quiet while we have
gone through restructuring and planning. Some would say we have been
too quiet. We know we have very loyal and enthusiastic users who want
to know the future of Solver Foundation. So, here is a long overdue
statement about our plans for Solver Foundation.

The current 3.1 release of MSF will be the last release as a
standalone install. We are working hard on integrating Microsoft
Solver Foundation into a larger analytics framework that will help
users build both prescriptive and predictive analytics. We look
forward to releasing this new product for your use as soon as we are
able to do so. This new product will provide a migration path for
current Solver Foundation users and partners.

We would like to continue to keep the current forum open to the
community to discuss MSF until the release of the new product.
However, Microsoft will be providing limited support of MSF in terms
of monitoring the forums and providing bug fixes during this
transition time.

We have been responding to email and will continue to do so. If you
have feedback on issues/bugs/improvements, we welcome your feedback
via [email protected]. Please check back on the forum for
future announcements with regards to the new analytics product.

ECLiPSe project on the other hand seems to be a much more established project in the area of constraint programming with substantial number of publications. It is also open source, so there is no possibility for a vendor lock-in.

I'd also recommend considering:

蓝戈者 2024-10-25 09:28:22

回复:模型大小,对于 Solver Foundation Express(基本“免费”版本):

  • 线性或二次规划 50,000 个非零
  • 混合整数规划 - 1,000 个变量、1,000 个约束和 5,000 个非零
  • 约束规划 - 总共 5,000 个项
  • 非线性规划- 无限制

标准版本的容量大约是原来的两倍,企业/学术版本是“无限制”的,对使用的核心/CPU 没有真正的限制。

回复:优点
Solver Foundation 的一个巨大(恕我直言)优势是定义模型的对象模型方法。使用 C# 或任何已绑定的语言以编程方式创建易于设置的模型,或者如果需要,也可以使用 AMPL 和 MPS 输入。还有一种自定义模型定义语言(OML),我没有使用过,但看起来相当不错。

回复:缺点
如果这对您很重要,那么您就被绑定到专有设置中。对于 GNU LP,请查看 GLPK。我已经向它扔了一些> 20K 约束模型,没有任何问题,并且它有一个非常活跃的用户组。

来自:安装 Solver Foundation

Re: model sizes, For Solver Foundation Express (basic 'free' version):

  • Linear or quadratic programming 50,000 non-zeros
  • Mixed integer programming - 1,000 variables, 1,000 constraints, and 5,000 non-zeros
  • Constraint programming - 5,000 total terms
  • Non-linear programming - Unlimited

The Standard version has roughly double the capacity, and the Enterprise/Academic versions are 'unlimited' with no real restriction on core/CPU's used.

Re: advantages
A huge (IMHO) advantage of Solver Foundation is the object model approach to defining your models. Makes for easy-to-setup models programmatically in C# or to any language to which you have bindings, or you can use AMPL and MPS inputs if you want. There is a also a custom model definition language (OML) which I haven't used, but looks pretty good.

Re: disadvantage
You're tied into a proprietary setup, if that matters to you. For a GNU LP, check out GLPK. I've thrown some >20K contraint models at it no problems, and it has a pretty active user group.

From: Installing Solver Foundation

~没有更多了~
我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
原文