 |
| About Gato |
| History |
| People |
| Examples |
| Video Examples |
| Download |
| Unix |
| Linux |
| MacOS |
| Windows |
| Version History |
| Algorithms |
| Contributed |
| Documentation |
| Getting started |
| Developer |
Algorithms
Gato is used in CATBox (the Combinatorial Algorithm Toolbox - an interactive course on discrete mathematics) to be published byMost algorithms implemented in Gato so far are part of CATBox and are under copyright by Springer Verlag and will only be available through the textbook/software bundle CATBox.
A few algorithms from CATBox will be made available as a CATBox demo at a later time.
For the time being we can only make the following elementary algorithms available:
| Filename | Description |
| BFS.alg | Breadth-First-Search |
| BFS.pro | Required prolog file for algorithm |
| DFS.alg | Depth-First-Search |
| DFS.pro | Required prolog file for algorithm |