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