An Integrated Modelling, Debugging, and Visualisation 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 to let users define special events which, once reached in a search, cause the debugger to halt and give back, possibly in a visual manner, useful information on the current state of the search. G12IDE also includes a number of visualisation tools for drawing graphs and trees, and additionally allows users to create arbitrary domain-specific visualisations, such as the drawing of a sequential plan when the constraint problem is in fact a planning problem. The inclusion of such powerful and flexible visualisation toolkit and its tight integration with the available debugging facilities is, to the best of our knowledge, completely novel.
Unable to display preview. Download preview PDF.
- 1.Choco Constraint Solving Toolkit., http://www.emn.fr/z-info/choco-solver/
- 2.ILOG OPL Studio, http://www.ilog.com/products/oplstudio/
- 4.Deransart, P., Hermenegildo, M.V., Maluszynski, J. (eds.): DiSCiPl 1999. LNCS, vol. 1870. Springer, Heidelberg (2000)Google Scholar
- 6.Gent, I.P., Miguel, I., Rendl, A.: Tailoring solver-independent constraint models: A case study with essence and minion. In: Proc. 7th Symposium on Abstraction, Reformulation and Approximation (SARA), pp. 184–199 (2007)Google Scholar
- 10.Kilby, P., Slaney, J.K., Thiébaux, S., Walsh, T.: Estimating search tree size. In: Proc. of the Twenty-First National Conference on Artificial Intelligence (AAAI). AAAI Press, Menlo Park (2006)Google Scholar
- 11.Lee, N.: A declarative debugging scheme. Journal of Functional and Logic Programming, 1997(3) (April 1997)Google Scholar
- 13.Quigley, A.J., Eades, P.: Fade: Graph drawing, clustering, and visual abstraction. In: Graph Drawing, pp. 197–210 (2000)Google Scholar
- 14.Schulte, C.: Oz explorer: A visual constraint programming tool. In: Proc. of the 14th International Conference on Logic Programming (ICLP), pp. 286–300. MIT Press, Cambridge (1997)Google Scholar