Daniel Harabor >>
Projects >>
NICTA Projects
From 2008 to 2010 I worked as a Research Programmer at
the Canberra Lab of National ICT Australia (NICTA). In that
capacity I was involved a number of projects:
- G12: Aims to develop a world-leading constraint programming platform.
- STAR: Investigates methods for improving traffic congestion.
- IFL: Focuses on developing software to model and optimise the allocation of resources in transportation systems.
Main Result
Perhaps the most visible output of my work at NICTA is G12IDE: an integrated development environment for working with the G12 Constraint Programming Platform. G12IDE supports the development of Zinc, MiniZinc and FlatZinc models. Once a model is written, it can be solved using a wide range of approaches provided by the underlying G12 platform. In addition, G12IDE provides highly flexible tools for debugging and visualising a running search algorithm.Below are some screenshots of G12IDE in action. The resources section which follows contains links to the official page where more information is available.
Editing a Zinc model.
|
Debugging a running search.
|
Visualising the results.
|
Resources
- The official G12IDE homepage.
-
Bauer A., Botea V., Brown M., Gray M., Harabor D., Slaney J. K.
2010.
An Integrated Modelling, Debugging, and Visualisation Environment
for G12.
In Principles and Practice of Constraint Programming CP-10
St. Andrews, Scotland, UK.
(pdf) (bib)
Disclaimer: The development of this software could not have been achieved without the combined effort of a stellar team of individuals from across NICTA's Canberra and Melbourne labs. John Slaney is the chief architect of this project though the substantial efforts of Andreas Bauer, Viorica Botea, Mark Brown and Matt Gray must also be acknowledged.