Combining Propagation Information and Search Tree Visualization using ILOG OPL Studio
Programming Languages
2007-05-23 v2 Software Engineering
Abstract
In this paper we give an overview of the current state of the graphical features provided by ILOG OPL Studio for debugging and performance tuning of OPL programs or external ILOG Solver based applications. This paper focuses on combining propagation and search information using the Search Tree view and the Propagation Spy. A new synthetic view is presented: the Christmas Tree, which combines the Search Tree view with statistics on the efficiency of the domain reduction and on the number of the propagation events triggered.
Cite
@article{arxiv.cs/0111040,
title = {Combining Propagation Information and Search Tree Visualization using ILOG OPL Studio},
author = {Christiane Bracchi and Christophe Gefflot and Frederic Paulin},
journal= {arXiv preprint arXiv:cs/0111040},
year = {2007}
}
Comments
In A. Kusalik (ed), proceedings of the Eleventh International Workshop on Logic Programming Environments (WLPE'01), December 1, 2001, Paphos, Cyprus, cs.PL/0111042