A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf
.
An Integrated Modelling, Debugging, and Visualisation Environment for G12
[chapter]
2010
Lecture Notes in Computer Science
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
doi:10.1007/978-3-642-15396-9_42
fatcat:q7zyalmj5faxbjn4zk2r64fqdq