具有最活跃社区和资源的约束编程工具集
Constraint Programming toolset with most active community & resources
我是CP新手。到目前为止，我一直在玩 MiniZinc，我发现它很有趣。
在我投入太多之前，我想弄清楚什么 CP 语言和求解器最适合从最活跃的社区开始，积极开发和用于研究，以及最好的学习资源（示例和教程） .
到目前为止的选项似乎是：MiniZinc、ECLiPSe 和 or-tools。
谢谢，
MiniZinc 是一个很好的起点。如果您对更多语言感兴趣，我建议您学习 Choco and JaCoP，两者都可以用作 Java 库，并且都有非常活跃的社区。
另请参阅 OptaPlanner（Java，开源，Apache 许可证）：
- daily commits
- send in Pull Requests
的活跃社区贡献者
- 每月发布测试版，每年发布 2 次最终版
- 350 多页手册和 javadocced
- 单元测试、集成测试和压力测试
- 红帽企业支持
在过去的几个月里，正如您提到的，我一直在玩 ECLiPSe programming language to solve all sorts of problems ranging from planning problems to arithmetic and logic puzzles and I've been nothing but amazed by the simplicity and power of this language. It is based on the Prolog language, so if you have the basic knowledge of Prolog, it will be pretty easy and fast to adapt to the language and its syntax. A bonus (imo) to the language are the integrated logical loops which make it very convenient to access certain data. Also, the website provides very clear documentation and code tutorials for all of its functionalities and a page with implementations to a bunch of well-known existing problems is provided here。这些对我学习语言尤其有帮助。
我是CP新手。到目前为止，我一直在玩 MiniZinc，我发现它很有趣。
在我投入太多之前，我想弄清楚什么 CP 语言和求解器最适合从最活跃的社区开始，积极开发和用于研究，以及最好的学习资源（示例和教程） .
到目前为止的选项似乎是：MiniZinc、ECLiPSe 和 or-tools。
谢谢，
MiniZinc 是一个很好的起点。如果您对更多语言感兴趣，我建议您学习 Choco and JaCoP，两者都可以用作 Java 库，并且都有非常活跃的社区。
另请参阅 OptaPlanner（Java，开源，Apache 许可证）：
- daily commits
- send in Pull Requests 的活跃社区贡献者
- 每月发布测试版，每年发布 2 次最终版
- 350 多页手册和 javadocced
- 单元测试、集成测试和压力测试
- 红帽企业支持
在过去的几个月里，正如您提到的，我一直在玩 ECLiPSe programming language to solve all sorts of problems ranging from planning problems to arithmetic and logic puzzles and I've been nothing but amazed by the simplicity and power of this language. It is based on the Prolog language, so if you have the basic knowledge of Prolog, it will be pretty easy and fast to adapt to the language and its syntax. A bonus (imo) to the language are the integrated logical loops which make it very convenient to access certain data. Also, the website provides very clear documentation and code tutorials for all of its functionalities and a page with implementations to a bunch of well-known existing problems is provided here。这些对我学习语言尤其有帮助。