我正在尝试熟悉约束编程。
到目前为止，我看到的所有文档和视频都只是包含了顶级概念的描述和基于CP库（如Choko、Gecode、JaCoP等）使用的代码示例。
我想在不使用任何库的情况下，用Java实现一些简单的功能。
有没有什么资源可以找到用Java/C#/C++/Python编写的、实现主要CP思想的可运行代码？（至少是“send more money”问题的解决方案）。
（或者，如果有人能在这里解释一下，那就太好了）。
回答：
这取决于你想做什么。
1- 如果你想开始使用约束编程（CP）工具，你首先需要理解这种方法的建模。你必须能够将给定的问题定义为一组约束，然后将你的模型提交给求解器（求解器已经知道如何处理这些约束）。
我个人认为G12_MiniZinc_Distribution（可通过http://www.minizinc.org/获取）及其最新教程是一个很好的开始方式（最新版本包含了很多模型）。如果你想看看CP模型的外观（关于minizinc语法），还有在线模型：http://www.hakank.org/minizinc。
2- 如果你对CP有高级的理论理解，你可以直接查看一些技术（例如传播器）的实现，这些技术来自可用的库，因为从头开始开发一个CP求解器（在我看来）是一个愚蠢的想法。这些是一些开源的求解器/库：G12, Choco, Mistral, Or-Tools。
