Folgende Module werden von Vertex benötigt:
Graph.Type Datenstruktur und Klasseninstanzen für Graphen
Graph.Util Hilfsmittel für die Arbeit mit Graphen
Graph.Viz Modul zur graphischen Darstellung von Graphen
Challenger Hauptmodul des Challenger Programms
ToDoc Format für Meldungen
Set Datenstruktur für Mengen