My Choco3 page

Choco (right now a beta version) is a constraint programming system in Java. Here are some info and code for Choco version 3: "Choco3 is not the continuation of Choco2, but a completly rewritten version and there is no backward compatibility."

Relevant Web pages for Choco3:

My Choco3 models

Below are some of my models for Choco version 3, beta (not compatible with Choco version 2). Explanations, references - and inspirations - are stated in each specific file. Please note that some of these models might contains experimental constructs (and since Choco3 right now is a beta version, certain constructs may change over time).
Also see My Constraint Programming Blog
* Common constraint programming problems
* My MiniZinc page
* My Zinc page
* My JaCoP page
* My Choco2 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 Picat page

Back to my homepage
Created by Hakan Kjellerstrand