benötigte Module

Folgende Module werden von Graceful benötigt:

• Graceful.Labeling der Beweis/die Lösung des Problems ist ein Labeling
• 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
• Sort fürs Sortieren
• Maybe Maybe halt