Chranimation: An animation tool for constraint handling rules

Abstract. Visualization tools of different languages offer its users with a needed set of features allowing them to animate how programs of such languages work. Constraint Handling Rules (CHR) is currently used as a general purpose language. This results in having complex programs with CHR. Nevertheless, CHR is still lacking on visualization tools. With Con-straint Handling Rules (CHR) being a high-level rule-based language, ani-mating CHR programs through animation tools demonstrates the power of the language. Such tools are useful for beginners to the language as well as programmers of sophisticated algorithms. This paper continues upon the efforts made to have a generic visualization platform for CHR using source-to-source transformation. It also provides a new visualiza-tion feature that enables viewing all the possible solutions of a CHR program instead of the don’t care nondeterminism used in most CHR implementations