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 renderndot
Es 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.
Hinzugefügt: mein Python-Skript um das Spiel zu lösen und die Punktedatei zu generieren