Choco-solver用于约束编程的开源 Java 库

Choco-solver 是一个用于约束满足问题（Constraint Satisfaction Problems）和约束规划（Constraint Programming）的 Java 库。 它建立在一个可回溯结构的,基于事件的传播机制上。  

Choco-solver 随附：

• 各种类型的变量（整数、布尔值、集合、图和实数）
• 各种最新的约束条件（所有不同、计数、n 值等）
• 各种搜索策略，从基本的（first_fail、最小等）到最复杂的（基于影响和基于活动的搜索）
• 基于说明的引擎，可实现基于冲突的回跳、动态回溯和路径修复。