This artifact contains a visualization implementation for the GraphVIZ DOT (http://www.graphviz.org/) tool.
