An integrated modelling, debugging, and visualisation environment for G12

Andreas Bauer, Viorica Botea, Mark Brown, Matt Gray, Daniel Harabor, John Slaney

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

4 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationPrinciples and Practice of Constraint Programming - CP 2010
EditorsDavid Cohen
Place of PublicationBerlin
PublisherSpringer
Pages522-536
Number of pages15
ISBN (Print)364215395X, 9783642153952
DOIs
Publication statusPublished - 2010
Externally publishedYes
EventInternational Conference on Principles and Practice of Constraint Programming 2010 - University of St Andrews, Scotland, United Kingdom
Duration: 6 Sep 201010 Sep 2010
Conference number: 16th
http://cp2010.cs.st-andrews.ac.uk/

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume6308
ISSN (Print)0302-9743

Conference

ConferenceInternational Conference on Principles and Practice of Constraint Programming 2010
Abbreviated titleCP 2010
CountryUnited Kingdom
CityScotland
Period6/09/1010/09/10
Internet address

Cite this