Combining Propagation Information and Search Tree Visualization using ILOG OPL Studio
<|reference_start|>Combining Propagation Information and Search Tree Visualization using ILOG OPL Studio: 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.<|reference_end|>
@article{bracchi2001combining,
    title={Combining Propagation Information and Search Tree Visualization using
  ILOG OPL Studio},
    author={Christiane Bracchi, Christophe Gefflot and Frederic Paulin},
    journal={arXiv preprint arXiv:cs/0111040},
    year={2001},
    archivePrefix={arXiv},
    eprint={cs/0111040},
    primaryClass={cs.PL cs.SE}
}