Programme zur Diplomarbeit

Implementierung einer Variante des
Davis-Putnam (Un-)Erfüllbarkeitsalgorithmus für Aussagen,
die um endliche Mengen-Prädikate erweitert sind

von Thomas Ilgner

ZIP-Archiv mit den Haskell-Programmen zur Diplomarbeit: dpfs_Final.zip