choco-solver, 一个面向约束编程的开源 Java 文档,支持和问题处理 。下载和安装choco规划求解是一个开放源代码的Java库,用于约束编程。当前稳定版本为 4.0.5 ( 28 2017年月 ) 。choco解算器附带:各种类