The G12 project develops a software platform for solving large scale industrial combinatorial optimisation problems. This is the G12 subsite at the University of Melbourne.
Enter the main G12 website at NICTA.
Here is the specification of the Zinc language (pdf).
The MiniZinc and FlatZinc home page holds further information around the Zinc language family, including software releases, documentation and examples.
G12 project collaborators can proceed to the information for project members. Some of this information is restricted. If you are eligible and do not have a password, run htpasswd -mn <userid> and send the results to the G12 admin.