Graphviz, Dot and Large Graphs


Notes on my graph visualisation project. Posted by Thomas Sutton on November 23, 2004

Today I started looking at transforming the data dumped by the theorem prover into ‘dot’, the language used by Graphviz (and a number of other packages). A quick and extremely dirty script translated the data into ‘dot’ and I, foolishly as it turns out, started a test run going of LCL005, to see just how big a graph it is. When I went home for the day, it was still running.

I need to find an easy way to determine the iteration in which clauses are generated so that I can play silly buggers with weighted edges, explicit rankings, etc.

This post was published on November 23, 2004 and last modified on June 4, 2020. It is tagged with: srp, logic, graph, visualisation.