CHR-Graph: A Platform for Animating Tree and Graph Algorithms | IEEE Conference Publication | IEEE Xplore