具有最活跃社区的约束编程工具集＆amp;资源

Question

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

在我做出太多努力之前，我想弄清楚什么是CP语言＆amp;解决方案最好从最活跃的社区开始，积极开发和用于研究，以及最好的学习资源（示例和教程）。

到目前为止，选项似乎是：MiniZinc，ECLiPSe和or-tools。

谢谢，

Answer 1

MiniZinc是一个极好的起点。如果您对我建议学习Choco和JaCoP的更多语言感兴趣，两者都可以用作Java库，并且都有非常活跃的社区。

Answer 2

另请参阅OptaPlanner（Java，开源，Apache许可证）：

• daily commits
• send in Pull Requests
的活跃社区贡献者
• 每月测试版和每年2次最终版本
• 350页的手册和javadocced
• 单元测试，集成测试和压力测试
• Red Hat的企业支持

Answer 3

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