Page 1 of 3  > >>

Choco-3.2.0: released , Jun 4, 2014.

Choco-3.2.0 is now available for download. 


A new release, 3.1.1, is now available.

MiniZinc Challenge 2013 , Sep 26, 2013.

MiniZinc'13: Choco-3.1.0 won 2 solver medals!




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, 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.

JSR-331 is an official standard now! See Constraint Programming Standardization Blog.


  Next page: News