benötigte Module

Folgende Module werden von SAT benötigt:

• FiniteMap stellt die Datenstruktur FiniteMap zur Verfügung

• ReadFM read Superlass FiniteMap.FiniteMap

• Challenger Hauptmodul, welches SAT.hs aufruft und in dem die Klasse Problem definiert ist

• ToDoc Fehlermeldungen sind im Doc Format

• Monad (guard) für Fallunterscheidungen

• Set stellt die Datenstruktur Menge zur Verfügung

• System wird zur Ausgabe in Dateien benötigt