作者
Helmut Simonis, Paul Davern, Jacob Feldman, Deepak Mehta, Luis Quesada, Mats Carlsson
发表日期
2010
研讨会论文
Principles and Practice of Constraint Programming–CP 2010: 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings 16
页码范围
460-474
出版商
Springer Berlin Heidelberg
简介
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 post-mortem 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.
引用总数
20102011201220132014201520162017201820192020202120222023202416422132742162
学术搜索中的文章
H Simonis, P Davern, J Feldman, D Mehta, L Quesada… - Principles and Practice of Constraint Programming–CP …, 2010