Reducing the size (as in area) of the graph generated by graphviz
In my experience using graphviz to render graphs of that size (~ 700 nodes), minimal trial-and-error adjustment to this combination of attribute settings–some structural, some purely aesthetic–for all three objects (graph, nodes, and edges) should do what you want: reduce the minimum separation between nodes, via ‘nodesep’; e.g., nodes[nodesep=0.75]; this will make your graph being …