Welcome

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 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)

Please visit the web site for downloading and more information.

CHOCO's environment

choco is an open-source software, distributed under a BSD Licence and hosted by Sourceforge.net.

Learning about Choco

  • Documentation
     Informations for those wanting to use choco. It introduces to Constraint Programming and choco and describes how to solve problems using choco. It also provides tutorials and examples.
  • Frequently Asked Questions
     A list of frequently asked questions about choco.
  • The team
     List of the members involved in the development of choco with contacts.
  • Users
     Non exhaustive list of choco's users.