CHRAnimation swMATH ID: 18637 Software Authors: Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom Description: CHRAnimation: an animation tool for constraint handling rules. 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 Constraint Handling Rules (CHR) being a high-level rule-based language, animating 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 visualization feature that enables viewing all the possible solutions of a CHR program instead of the don’t care nondeterminism used in most CHR implementations. Homepage: http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/drafts/chr-visualisation.pdf Keywords: constraint handling rules; algorithm visualization; algorithm animation; source-to-source transformation Related Software: BALSA; Zeus; ANIMAL; JAWAA Cited in: 2 Publications Cited by 5 Authors 1 Abdennadher, Slim 1 Ismail, Arwa 1 Proietti, Maurizio 1 Seki, Hirohisa 1 Sharaf, Nada Cited in 1 Serial 1 Lecture Notes in Computer Science Cited in 2 Fields 2 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) Citations by Year