[资源介绍]
Choco-solver
An Open-Source java library for constraint programming
Learn More Download Choco is a Free Open-Source Java library dedicated to Constraint Programming.
The user models its problem in a declarative way by stating the set of constraints that need to be satisfied in every solution.
Then, the problem is solved by alternating constraint filtering algorithms with a search mechanism.
- Choco - 即用型约束满足问题求解器，使用约束编程技术。
