Skip navigation
Skip navigation

An Integrated Modelling, Debugging, and Visualization Environment for G12

Bauer, Andreas; Botea, Viorica; Brown, Mark; Gray, Matthew; Harabor, Daniel; Slaney, John K


We present G12IDE, a front-end for the G12 platform aimed at helping users create and work with constraint models in a manner independent from any underlying solver. G12IDE contains tools for writing and evaluating models using Zinc and provides a feature rich debugger for monitoring a running search process. Debugging a search, as opposed to debugging sequential code, requires concepts such as breakpoints and queries to be applied at a higher level than in standard debuggers. Our solution is...[Show more]

CollectionsANU Research Publications
Date published: 2010
Type: Conference paper
Source: International Conference on Principles and Practice of Constraint Programming (CP 2010) proceedings
DOI: 10.1007/978-3-642-15396-9_42


File Description SizeFormat Image
01_Bauer_An_Integrated_Modelling,_2010.pdf623.92 kBAdobe PDF    Request a copy
02_Bauer_An_Integrated_Modelling,_2010.pdf740.65 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator