ein großes Diagramm mit graphviz auslegen

Meine Töchter haben ein Tic-Tac-Toe-Spiel gemacht. Natürlich, als ich es mit ihnen spielte, fing ich an, es in meinem Kopf zu brachialisieren ...

Also habe ich zur Mittagszeit ein schnelles kleines Python-Skript erstellt, um das Spiel zu "lösen". Und ich wollte die Ergebnisse grafisch anzeigen, also habe ich eine Punktedatei aller legalen Schritte generiert:

Ich habe die Daten hier eingefügt.

Wenn ich versuche es mit zu renderndotEs dauert ewig und ich brich es nach ein paar Stunden ab.

Wenn ich es mit rendereneato odersfdp etc, es dauert ein paar Sekunden oder weniger, aber das Layout ist unmöglich zu lesen:

sfdp -x -Tpng data.dot > data.png

neato -x -Tpng data.dot > data.png

Ich würde mich freuen, wenn das resultierende Bild mehrere Megapixel betragen würde.

Wie kann ich ein so großes Diagramm erstellen und rendern? Ich bin offen für Vorschläge, die keine Punkte enthalten, wie Python-Bibliotheken, die auch das Layout übernehmen können.

(etwas verwandter Link)

Hinzugefügt: mein Python-Skript um das Spiel zu lösen und die Punktedatei zu generieren

Antworten auf die Frage(3)

Ihre Antwort auf die Frage