Choco求解器的安装

Choco求解器的安装必须要保证是JAVA8(JDK1.8)非常重要，否则可能会安装不全包。

Choco求解器是约束满足问题较为成熟的求解器，可以利用这个平台做约束满足问题的二次开发。

安装步骤：

1.在Choco的官方网站：http://www.choco-solver.org/   上下载choco-4.0.4.zip

2.下载maven软件，如果已经安装了maven则此步骤可以省略

3. 修改choco-4.0.4中的pom.xml文件中的如下部分

<dependency>
<groupId>org.choco-solver</groupId>
<artifactId>choco-solver</artifactId>
<version>X.Y.Z</version>
</dependency>

其中X,Y,Z代表当前的版本号，如4.0.4

4.进入目标文件夹（解压的Choco文件夹），执行  mvn eclipse:eclipse 命令。（可以在控制台下执行，也可以在eclipse上执行）

之后等待下载，会在目标文件夹中，出现项目文件.project 之后就大功告成了。

下载中系统自动在C盘下写入了许多JAR包，如果JDK版本不对，就会造成缺包的现象，原因在于Choco求解器是用JAVA写的，并不断更新版本，所能下载到的就是最新版本，最新版本中用到了新版本的JDK加入的新概念旧的JDK没有这些的话，自然就会报错。