dotpruner (pypi): Pruning redundant nodes from DOT graphs
Keywords: dot-graph|graphviz-dot