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:
|
In addition to this wiki, you can find information:
|
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)
