We are happy to announce a new version (beta) of Choco, named Choco3.
Choco3 is not the continuation of Choco2, but a completly rewritten version and there is no backward compatibility.
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).
More details are available here.
The Choco team.
A new release of Choco is now available : 2.1.5.
CHOCO is a java library for constraint satisfaction problems (CSP) and constraint programming (CP).
It is built on a event-based propagation mechanism with backtrackable structures.
CHOCO can be used for:
- teaching (a user-oriented constraint solver with open-source code)
- research (state-of-the-art algorithms and techniques, user-defined constraints, domains and variables)
- real-life applications (many application now embed CHOCO)
Please visit the web site for downloading and more information.
CHOCO is involved in the Java Specification Requests 331 : Constraint Programming API, winner of JCP Award for The Most Innovative JSR of 2010.
JSR-331 is an official standard now! See Constraint Programming Standardization Blog.