具有最活跃社区和资源的约束编程工具集答案

【问题标题】：Constraint Programming toolset with most active community & resources具有最活跃社区和资源的约束编程工具集
【发布时间】：2015-12-28 23:37:28
【问题描述】：

我是 CP 的新手。到目前为止，我玩过 MiniZinc，我发现这很有趣。

在我做出太多承诺之前，我想弄清楚从最活跃的社区、在研究中积极开发和使用以及最佳学习资源（示例和教程）的角度来看，哪种 CP 语言和求解器最适合入手。

目前的选项似乎是：MiniZinc、ECLiPSe 和 or-tools。

谢谢，

【问题讨论】：

建议你继续用MiniZinc学习CP，同时看看其他系统，e.g.通过订阅邮件列表/论坛等来了解社区。并且还要创建（和阅读）尽可能多的模型以适应这种思维方式。

标签： constraint-programming minizinc eclipse-clp or-tools

【解决方案1】：

MiniZinc 是一个很好的起点。如果你对更多语言感兴趣我建议学习Choco和JaCoP，它们都可以作为Java库使用，并且都有非常活跃的社区。p>

【讨论】：

【解决方案2】：

还可以看看OptaPlanner（Java，开源，Apache 许可证）：

daily commits
send in Pull Requests 的活跃社区贡献者
每月发布测试版，每年发布 2 个最终版本
350 多页手册和 javadocced
单元测试、集成测试和压力测试
红帽企业支持

【讨论】：

【解决方案3】：

在过去的几个月里，我一直在使用 ECLiPSe 编程语言来解决从规划问题到算术和逻辑难题的各种问题，我一直对它感到惊讶这种语言的简单和强大。它基于 Prolog 语言，因此如果您具备 Prolog 的基本知识，那么适应该语言及其语法将非常容易和快速。该语言的一个好处（imo）是集成的逻辑循环，这使得访问某些数据非常方便。此外，该网站为其所有功能提供了非常清晰的documentation 和code tutorials，并提供了一个页面，其中包含对一系列众所周知的现有问题的实现here。这些尤其对我学习语言很有帮助。

【讨论】：