A Visualization Tool for Constraint Handling Rules.
Slim Abdennadher, Matthias Saft · 2001
This paper presents a visualization tool, called VisualCHR, that supports the development of constraint solvers written in the high-level language Constraint Handling Rules (CHR). VisualCHR can be used to debug and to improve the eciency of constraint solvers. It can also be used to understand the details of constraint propagation methods and the interaction of dierent constraints implemented by means of CHR. Thus, it is suitable for users at dierent levels of expertise.