Welcome
Current version: Choco-2.1.4
Welcome
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's environment
CHOCO is an open-source software, distributed under a BSD License, hosted by sourceforge.net and developed with Intellij IDEA and JProfiler.
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.
Learning about Choco
- Informations for those wanting to use CHOCO. It introduces to Constraint Programming and CHOCO and describes how to solve problems using CHOCO. It also provides tutorials and examples.
- A list of frequently asked questions about CHOCO.
- List of the members involved in the development of CHOCO with contacts.
- Non exhaustive list of CHOCO's users.