CHOCO 13.03 – Java Library for Constraint Satisfaction Problems CHOCO 13.03 :: DESCRIPTION CHOCO is a java library for constraint satisfaction problems (CSP) and constraint programming (CP). ::DEVELOPER CHOCO Team : REQUIREMENTS Windows / Mac / Linux Java :: DOWNLOAD CHOCO :: MORE INFORMATION