A new release, 3.1.1, is now available.
MiniZinc'13: Choco-3.1.0 won 2 solver medals!
The first stable version of Choco3 is available for download!
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.