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.

JSR-331 successfully passed the Final Approval Ballot (...).