Choco3 is an open-source Java library for Constraint Programming.
Choco3 is not the continuation of Choco2, but a completly rewritten version and there is no backward compatibility.
The current release is a beta version.
Choco3 comes with:
- various type of variables (integer, boolean, set, graph and real),
- various state-of-the-art constraints (alldifferent, count, nvalues, etc.),
- various search strategies, from basic ones (fist_fail, smallest, etc.) to most complex (impact-based and activity-based search),
- explanation-based engine, that enables conflict-based back jumping, dynamic backtracking and path repair,
But also, a FlatZinc parser, facilities to interact with the search loop, factories to help modelling, many samples, etc.
Choco3 is distrubuted under BSD licence (Copyright (c) 1999-2013, Ecole des Mines de Nantes).
Contact: [email protected]
The maven artifact is available through a private repository
so you have first to edit your pom.xml to declare it:
<repositories>
<repository>
<id>choco.repos</id>
<url>http://www.emn.fr/z-info/choco-repo/mvn/repository/</url>
</repository>
</repositories>Next, just declare the dependency:
<dependency>
<groupId>choco</groupId>
<artifactId>choco-solver</artifactId>
<version>13.03</version>
</dependency>The jar can be downloaded from this URL:
The file contains choco-environment, choco-solverartifacts and their dependencies.
Requirements:
- JDK 7+
- maven 3+
The source of the released versions are directly available in the Tag section.
You can also download them using github features.
Once downloaded, move to the source directory then execute the following command
to make the jar:
$ mvn clean install -DskipTests
If the build succeeded, the resulting jar will be automatically
installed in your local maven repository and available in the target sub-folders.
=================== The Choco3 dev team.