My Comet page

Please note: Unfortunately the Dynadec site ( is not the Comet site anymore. I have removed all links to that site below.
Also, I don't know any place where Comet can be downloaded.

Comet (created and distributed by Dynadec) is a system for solving problem using:
More info
* The distribution includes many examples and a great tutorial explaing Comet as well as the three paradigms which Comet uses: constraint programming, constraint-based local search and mathematical programming.
An earlier version of Comet, featuring constraint-based local search, is described in the great book Constraint-Based Local Search (ISBN 9780262220774) by Pascal Van Hentenryck and Laurent Michel, the main developers of Comet.

My Comet models

Below are some of my Comet models. Explanation and references are in each specific file. Some of these models are translated from my MiniZinc models.
Also see
* My Constraint Programming Blog, especially the Comet category
* My Constraint Programming page
* Common constraint programming problems
* My MiniZinc page
* My Zinc page
* My Choco page
* My JaCoP page
* My JaCoP/Scala page
* My Gecode/R page
* My Gecode page
* My ECLiPSe page
* My Tailor/Essence' page
* My SICStus Prolog page
* My Google CP Solver 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