Exporting to Dot format#
To export to Graphviz using the DOT language use the following method:
>>> example_game.export()
The resulting DOT code will be printed to the terminal where it can be used in programs or apps that generate graphs from DOT code.