4

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

纯粹考虑它的 CLP 功能，Solver 与 ECLiPSe 相比如何？

4

2 回答 2

3

主要缺点是 Microsoft Solver Foundation 作为独立产品已停产，如下所述：

正如用户所指出的，自从 Nate 离开后，微软就不再活跃在 Solver Foundation 论坛上。在进行重组和规划时，我们一直保持沉默。有人会说我们太安静了。我们知道我们有非常忠诚和热情的用户，他们想了解 Solver Foundation 的未来。所以，这里有一份关于我们的 Solver Foundation 计划的迟来的声明。

当前的 MSF 3.1 版本将是作为独立安装的最后一个版本。我们正在努力将 Microsoft Solver Foundation 集成到更大的分析框架中，以帮助用户构建规范性和预测性分析。我们期待尽快发布这款新产品供您使用。这个新产品将为当前 Solver Foundation 用户和合作伙伴提供迁移路径。

我们希望继续保持当前论坛对社区开放，以讨论 MSF，直到新产品发布。但是，在此过渡期间，Microsoft 将在监控论坛和提供错误修复方面为 MSF 提供有限的支持。

我们一直在回复电子邮件，并将继续这样做。如果您对问题/错误/改进有反馈，我们欢迎您通过 msfsupport@microsoft.com 提供反馈。请返回论坛查看有关新分析产品的未来公告。

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

我还建议考虑：

于 2012-07-05T03:42:02.960 回答
0

回复：模型尺寸，对于 Solver Foundation Express（基本“免费”版本）：

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

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

回复：优势 Solver Foundation 的一个巨大（恕我直言）优势是定义模型的对象模型方法。在 C# 或任何您绑定的语言中以编程方式创建易于设置的模型，或者您可以根据需要使用 AMPL 和 MPS 输入。还有一种我没有使用过的自定义模型定义语言（OML），但看起来还不错。

回复：缺点如果这对您很重要，您会被绑定到专有设置中。对于 GNU LP，请查看GLPK。我已经抛出了一些超过 20K 的约束模型，没有问题，它有一个非常活跃的用户组。

来自：安装求解器基础

于 2011-02-27T08:07:41.667 回答