Gato

Grafer er matematiske objekter, der består af knuder og kanter forbinder par af knuder: tænk på byer som knudepunkter og motorveje som kanter forbinder to byer.
Algoritmer kan finde en korteste vej - den hurtigste rute - eller en minimal udspændende træ eller løse et af andre interessante problemer på grafer: maksimal flow, vægtet og ikke-vægtet matching og min-cost flow.
Visualisering betyder forbinder årsag - erklæringerne fra en algoritme - straks en effekt - ændringer i grafen algoritmen har til input - ved form af blinkende, skiftende farver og andre visuelle effekter.
Gato er primært en undervisning og forskning værktøj, nyttige i algoritme design og teknik.