帮助解决约束满足问题的开发库。 * [Choco](http://choco-solver.org/)：可直接使用的约束满足问题求解程序，使用了约束规划技术。 * [JaCoP](https://github.com/radsz/jacop/)：为FlatZinc语言提供了一个接口，可以执行MiniZinc模型。 * [OptaPlanner](http://www.optaplanner.org/)：企业规划与资源调度优化求解程序。 * [Sat4J](http://www.sat4j.org/)：逻辑代数与优化问题最先进的求解程序。