| Field | Value |
|---|---|
| Name | CHOCO |
| Description | 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. Choco is an open-source software, distributed under a Choco Licence and hosted by sourceforge.net. |
| Homepage | http://www.emn.fr/z-info/choco-solver/ |