A Generic Visualization Platform for CP

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.

• Type: Journal
• Year: 2010
• Where: CP
• Authors: Helmut Simonis, Paul Davern, Jacob Feldman, Deepak Mehta, Luis Quesada, Mats Carlsson
• Keywords: Artificial Intelligence, Constraint Programming, CP 2010, Generic Visualization Platform, Visualization Tools