News

Page 1 of 3  > >>

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!

The first stable version of Choco3 is available for download!

 

Welcome

SGAR44

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