约束满足问题求解程序

帮助解决约束满足问题的开发库。

• Choco：可直接使用的约束满足问题求解程序，使用了约束规划技术。
• JaCoP：为FlatZinc语言提供了一个接口，可以执行MiniZinc模型。
• OptaPlanner：企业规划与资源调度优化求解程序。
• Sat4J：逻辑代数与优化问题最先进的求解程序。