VISEXP: visualizing constraint solver dynamics using explanations
Mohammad Ghoniem, Narendra Jussien, Rue Alfred Kastler, Jean-daniel Fekete · 2004
In this paper, we introduce VISEXP: a new visualiza-tion tool designed to explore relations between con-straints and variables in constraint problems. This tool uses the explanation network built throughout compu-tation. We show that VISEXP is able to provide much more information about how search is performed than classical representations. Moreover, we illustrate the animation feature of VISEXP that provides invaluable tools for visualization and therefore analysis of the dy-namics of constraint solvers.