软件简介

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