title: laying out a large graph with graphviz
body: <p>My daughters have made a game not unlike tic-tac-toe.  Of course as I played it with them I started brute-forcing it in my head...</p>
  
  <p>So at lunchtime I made a quick little Python script to 'solve' the game.  And I wanted to see the results graphically, so I generated a dot file of all legal moves:</p>
  
  <p><a href="https://gist.github.com/4087256">I've pasted the data here</a>.</p>
  
  <p>When I try and render it using <code>dot</code>, it takes forever and I abort it after a few hours.</p>
  
  <p>If I render it using <code>neato</code> or <code>sfdp</code> etc, it takes a few seconds or less but the layout is impossible to actually read:</p>
  
  <pre><code>sfdp -x -Tpng data.dot &gt; data.png
  </code></pre>
  
  <p><img src="https://i.stack.imgur.com/orvyk.png" alt="sfdp"></p>
  
  <pre><code>neato -x -Tpng data.dot &gt; data.png
  </code></pre>
  
  <p><img src="https://i.stack.imgur.com/GJfeQ.png" alt="neato"></p>
  
  <p>I would be happy for the resulting image to be several megapixels.</p>
  
  <p>How can I lay out and render such a big graph?  I am open to non-dot suggestions, like Python libraries that can do the layout too.</p>
  
  <p><sup>(<a href="http://xkcd.com/832/">somewhat related link</a>)</sup></p>
  
  <p><em>Added</em>: <a href="https://gist.github.com/4087469">my Python script</a> to solve the game and generate the dot file</p>