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