An Integrated Modelling, Debugging, and Visualization Environment for G12
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]
|Collections||ANU Research Publications|
|Source:||International Conference on Principles and Practice of Constraint Programming (CP 2010) proceedings|
|01_Bauer_An_Integrated_Modelling,_2010.pdf||623.92 kB||Adobe PDF||Request a copy|
|02_Bauer_An_Integrated_Modelling,_2010.pdf||740.65 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.