Choco is a Free and Open-Source Software dedicated to Constraint Programming. It aims at describing real combinatorial problems in the form of Constraint Satisfaction Problems and to solve them with Constraint Programming techniques.
Homepage POM file JAR file Javadoc'org.choco-solver:choco-samples:3.3.2-j7'