A generic visualization platform for CP

Authors:
Helmut Simonis;Paul Davern;Jacob Feldman;Deepak Mehta;Luis Quesada;Mats Carlsson
Affiliations:
Cork Constraint Computation Centre, Department of Computer Science, University College Cork, Ireland;Cork Constraint Computation Centre, Department of Computer Science, University College Cork, Ireland;Cork Constraint Computation Centre, Department of Computer Science, University College Cork, Ireland;Cork Constraint Computation Centre, Department of Computer Science, University College Cork, Ireland;Cork Constraint Computation Centre, Department of Computer Science, University College Cork, Ireland;Swedish Institute of Computer Science, Uppsala, Sweden
Venue:
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Year:
2010

Citing 7
Cited 1

Search-Tree Visualisation

Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
Debugging Constraint Programs

CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
Complex Constraint Abstraction: Global Constraint Visualisation

Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
Consistency Techniques for Finding an Optimal Relaxation of a Feature Subscription

ICTAI '08 Proceedings of the 2008 20th IEEE International Conference on Tools with Artificial Intelligence - Volume 01
Model-driven visualizations of constraint-based local search

Constraints
A soft global precedence constraint

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A generic geometrical constraint kernel in space and time for handling polymorphic k-dimensional objects

CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming

Almost square packing

CPAIOR'11 Proceedings of the 8th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we describe the design and implementation of CP-VIZ, a generic visualization platform for constraint programming. It provides multiple views to show the search tree, and the state of constraints and variables for a postmortem analysis of a constraint program. Different to most previous visualization tools, it is system independent, using a light-weight, intermediate XML format to exchange information between solvers and the visualization tools. CP-VIZ is available under an open-source licence, and has already been interfaced to four different constraint systems.