[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Re: How to read the graph generated by TLC? Is there a way to specify its location?

> 400 nodes here:

> http://www.graphviz.org/Gallery/undirected/root.svg
This one is impressive.
The software used to render the graph is not provided but it shows at least that large graphs
are not out of reach. (Wen you think it is supposed to represent "A Protein Interaction Map of
Drosophila melanogaster" (a fly then) you are definitely convinced that "There are more things in
heaven and earth,  Horatio,  // Than are dreamt of in your philosophy."  Hamlet (1.5.167-8)