使用 Microsoft Solver Foundation for CLP 有哪些缺点？ Solver 在 Express/Standard 版本中确实有一些支持，但可以想象，除了最基本的约束规划之外，还需要购买昂贵的 Gurobi / Knitro 插件来完成任何事情。
仅考虑其 CLP 功能，Solver 与 ECLiPSe 相比如何？
【问题讨论】：
标签： constraint-programming ms-solver-foundation
主要缺点是 Microsoft Solver Foundation 作为独立产品已停产，如 here 所述：
正如用户所指出的，微软在 Solver 上并没有活跃 Nate 离开后的基金会论坛。我们一直很安静，而我们有 经历了重组和规划。有人会说我们一直 太安静了。我们知道我们有非常忠诚和热情的用户想要 了解 Solver Foundation 的未来。所以，这是一个姗姗来迟的 关于我们的 Solver Foundation 计划的声明。
MSF 的当前 3.1 版本将是最后一个版本 独立安装。我们正在努力整合微软 Solver Foundation 成为一个更大的分析框架，这将有助于 用户构建规范性和预测性分析。我们看 期待尽快发布这款新产品供您使用 能够这样做。这款新产品将为 当前 Solver Foundation 用户和合作伙伴。
我们希望继续保持当前论坛对 社区讨论无国界医生，直到新产品发布。 但是，Microsoft 将在以下方面提供对 MSF 的有限支持 在此期间监控论坛并提供错误修复 过渡时间。
我们一直在回复电子邮件并将继续这样做。如果你 对问题/错误/改进有反馈，我们欢迎您的反馈 通过 msfsupport@microsoft.com。请返回论坛查看 关于新分析产品的未来公告。
另一方面，ECLiPSe project 似乎是约束规划领域中一个更为成熟的项目，拥有大量publications。它也是开源的，因此不可能锁定供应商。
我还建议考虑：
【讨论】：
Re：模型尺寸，对于 Solver Foundation Express（基本“免费”版本）：
标准版的容量大约翻了一番，企业版/学术版是“无限”的，对使用的核心/CPU 没有真正的限制。
Re: 优点 Solver Foundation 的一个巨大（恕我直言）优势是定义模型的对象模型方法。使用 C# 或您绑定的任何语言以编程方式创建易于设置的模型，或者您可以根据需要使用 AMPL 和 MPS 输入。还有一种自定义模型定义语言（OML）我没用过，但看起来还不错。
Re: 缺点 如果这对您很重要，您会被绑定到专有设置中。对于 GNU LP，请查看 GLPK。我已经向它抛出了一些超过 20K 的约束模型，没有问题，并且它有一个非常活跃的用户组。
【讨论】：