Choco是一个致力于约束编程的免费开源Java库。
用户通过声明约束集以声明的方式对其问题建模
每个解决方案都需要满足这一点。
然后，使用带有搜索机制的交替约束过滤算法解决该问题。