Main Page

From Choco

Welcome to the Choco wiki page !

This web site aims to provide documentation about the Choco constraint programming system. Choco is a java library for constraint satisfaction problems (CSP), constraint programming (CP) and explanation-based constraint solving (e-CP). It is built on a event-based propagation mechanism with backtrackable structures.

Documentation is splitted in three parts: the user guide with an extensive description of Choco; the tutorials with several illustrated samples; the javadoc documentation for reference guide.

In addition to this wiki, you can find information: in the Choco project pages of Sourceforge: forums are available for technical questions or to open discussions, lists are available to participate to the Choco extension(choco-users); the TODO page, useful for monitoring progress on current issues.

Choco is an open-source software, distributed under a BSD licence and hosted by sourceforge.net.

Java IDE with unparalleled java code
analyzer (600+ built-in inspections)