Exporting game model

After setting up the game models, they can be exported to various open formats.

Currently, graphviz using the DOT language and Latex is supported.

• Exporting to Dot format
• Exporting to latex