A Generic Visualization Platform for CP [chapter]

Helmut Simonis, Paul Davern, Jacob Feldman, Deepak Mehta, Luis Quesada, Mats Carlsson
2010 Lecture Notes in Computer Science  
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
more » ... rce licence, and has already been interfaced to four different constraint systems. This work was supported by Science Foundation Ireland (Grant Number 05/IN/I886). The support of Cisco Systems and of the Silicon Valley Community Foundation is gratefully acknowledged. 3 Visualization relies heavily on the use of colors, with a potential loss of information if seen in black&white only. An on-line version of the paper with colored diagrams can be downloaded from the URL http://4c.ucc.ie/˜hsimonis/cpviz.pdf. Also note that in the electronic version you can zoom into all SVG diagrams, revealing additional information.
doi:10.1007/978-3-642-15396-9_37 fatcat:v772lngrv5gdtkkq7zofcecnxi