Choco is a free and open source Java library for constraint satisfaction problems (CSP), constraint programming (CP) and explanation-based constraint solving (e-CP). 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)