Choco3 is an open-source Java library for Constraint Programming.
Choco3 is not the continuation of Choco2, but a completely rewritten version and there is no backward compatibility.
Current stable version is 3.2.1 (13 Oct 2014).
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 (first_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, facilities to interact with the search loop, factories to help modelling, many samples, etc.
Choco3 is distributed under BSD licence (Copyright (c) 1999-2014, 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>3.2.1</version>
</dependency>
The jar can be downloaded from this URL:
The file contains choco-environment
, choco-solver
artifacts 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.