My Choco page

Choco is a constraint programming system in Java.

Relevant Web pages for Choco version 2: 2013-03-13: Note: There is now a (beta) version of Choco 3 ("Choco 3 is not the continuation of Choco2, but a completly rewritten version and there is no backward compatibility."). Code via Github: github.com/chocoteam/choco3. (The models below will probably not work in Choco 3.) Also, see my Choco3 page.

My Choco models

Below are some of my models for Choco version 2.

Explanations, references, and inspirations are in each specific file.
Also see My Constraint Programming Blog
* Common constraint programming problems
* My MiniZinc page
* My Zinc page
* My JaCoP page
* My JaCoP/Scala page
* My Gecode/R page
* My Comet page
* My Gecode page
* My Gecode/R page
* My ECLiPSe page
* My Tailor/Essence' page
* My SICStus Prolog page
* My Google or-tools page
* My OscaR page
* My JSR-331 page
* My Numberjack page
* My AIMMS+CP page
* My B-Prolog page
* My Choco3 page
* My Picat page

Back to my homepage
Created by Hakan Kjellerstrand hakank@gmail.com