Choco 2.1.3 is now available! Visit download page, news page and changes report.

Welcome

CHOCO is a java library for constraint satisfaction problems (CSP) and constraint programming (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 License, hosted by sourceforge.net and developed with Intellij IDEA and JProfiler.

CHOCO is involved in the Java Specification Requests 331 : Constraint Programming API, winner of JCP Award for The Most Innovative JSR of 2010.

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.