My Zinc page

This page was created by Hakan Kjellerstrand (

Zinc is the general constraint solver by Nicta G12 Project.

Also see my MiniZinc page.

My Zinc models

Many of these Zinc models are translated from Minizinc model. See My MiniZinc page for more information about MiniZinc, and a lot of MiniZinc models.

Note: the MiniZinc language is a subset of Zinc, so Zinc should be able to run all my MiniZinc models as well. Below are models which use some specific feature of the Zinc language.

I blogged about my first Zinc models in A first look at G12 Zinc: Basic learning models etc

Also, see my other pages about constraint programming systems:
* My Constraint Programming Blog, especially the MiniZinc category
* Constraint Programming
* Common constraint programming problems
* My MiniZinc page
* My JaCoP page
* My Choco page
* My Gecode/R page
* My Comet 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