CHRAnimation: An Animation Tool for Constraint Handling Rules.

Nada Sharaf, Slim Abdennadher, Thom W. Frhwirth

Browse the full LOPSTR paper archive.