benötigte Module

Folgende Module werden von Clique benötigt:

• Graph.Type Datenstruktur und Klasseninstanzen eines Graphen
• Graph.Util Utilities für Graphen
• Graph.Viz zur Darstellung der Instanz und des Beweises als Bild
• Challenger Hauptmodul, welches Graceful aufruft und in dem die Klasse Problem definiert ist
• ToDoc Fehlermeldungen sind im Doc format
• Set stellt die Datenstruktur Menge zur Verfügung