巧克力2.1.0_Choco 2.1.0下载地址

约束满足问题库

巧克力是一个易于使用的Java库，可用于：

教学（一个面向用户的开放式源代码的约束解算器）
研究（国家的最先进的算法和技术，用户定义的约束，域和变量），
现实生活中的神器出山:www.shenqi73.com应用（现在许多应用程序中嵌入巧克力）