A Generic Visualization Platform for CP

A Generic Visualization Platform for CP
复制标题

通用CP可视化平台

DOI：
--
复制
发表时间：
2010
期刊：
International Conference on Principles and Practice of Constraint Programming
影响因子：
--
通讯作者：
M. Carlsson
M. Carlsson
中科院分区：
--
文献类型：
--
作者：
H. Simonis;P. Davern;Jacob B. Feldman;D. Mehta;L. Quesada;M. Carlsson

文献摘要

被引文献

相似文献

在本文中，我们描述了CP-VIZ的设计和实现，这是一个用于约束编程的通用可视化平台。它提供了多种视图来显示搜索树，以及用于约束程序的验尸分析的约束和变量的状态。与大多数以前的可视化工具不同，它是独立于系统的，使用轻质的中间XML格式在求解器和可视化工具之间交换信息。 CP-VIZ可在开源许可下获得，并且已经连接到四个不同的约束系统。
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.