Gato was developed as part of the project CATBox (the Combinatorial Algorithm Toolbox - an interactive course on discrete mathematics) which will be published by Springer Verlag. The textbook will contain a section about how to use Gato.

You can read the internal Gato documentation, a description on how to visualize your own algorithms or the specification of the graph file format.