An Integrated Modelling, Debugging, and Visualisation Environment for G12

  • Andreas Bauer
  • Viorica Botea
  • Mark Brown
  • Matt Gray
  • Daniel Harabor
  • John Slaney
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6308)

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Choco Constraint Solving Toolkit., http://www.emn.fr/z-info/choco-solver/
  2. 2.
  3. 3.
    Apt, K., Wallace, M.: Constraint logic programming using ECLiPSe. Cambridge University Press, Cambridge (2007)MATHGoogle Scholar
  4. 4.
    Deransart, P., Hermenegildo, M.V., Maluszynski, J. (eds.): DiSCiPl 1999. LNCS, vol. 1870. Springer, Heidelberg (2000)Google Scholar
  5. 5.
    Flener, P., Pearson, J., Ågren, M.: Introducing ESRA, a relational language for modelling combinatorial problems. In: Bruynooghe, M. (ed.) LOPSTR 2004. LNCS, vol. 3018, pp. 214–232. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  6. 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
  7. 7.
    Harel, D., Koren, Y.: A fast multi-scale method for drawing large graphs. J. Graph Algorithms Appl. 6(3), 179–202 (2002)MATHMathSciNetGoogle Scholar
  8. 8.
    Ierusalimschy, R., de Figueiredo, L.H., Filho, W.C.: Lua—an extensible extension language. Softw. Pract. Exper. 26(6), 635–652 (1996)CrossRefGoogle Scholar
  9. 9.
    Jones, C.V.: Visualization and Optimization. Kluwer, Boston (1996)MATHGoogle Scholar
  10. 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. 11.
    Lee, N.: A declarative debugging scheme. Journal of Functional and Logic Programming, 1997(3) (April 1997)Google Scholar
  12. 12.
    Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.: MiniZinc: Towards a standard CP modelling language. In: Bessière, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 529–543. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  13. 13.
    Quigley, A.J., Eades, P.: Fade: Graph drawing, clustering, and visual abstraction. In: Graph Drawing, pp. 197–210 (2000)Google Scholar
  14. 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
  15. 15.
    Wallace, M., The G12 team: G12 - Towards the Separation of Problem Modelling and Problem Solving. In: van Hoeve, W.-J., Hooker, J.N. (eds.) CPAIOR 2009. LNCS, vol. 5547, pp. 8–10. Springer, Heidelberg (2009)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Andreas Bauer
    • 1
    • 2
  • Viorica Botea
    • 1
  • Mark Brown
    • 1
  • Matt Gray
    • 1
    • 2
  • Daniel Harabor
    • 1
    • 2
  • John Slaney
    • 1
    • 2
  1. 1.National ICT Australia (NICTA) 
  2. 2.The Australian National University 

Personalised recommendations