Perlen der Informatik Sommersemester 2014

Neuigkeiten | Termine | Inhalt | Folien | Übungen | Literatur

MiniSat Installationsanleitung für Windows:

Es wird Cygwin benötigt.

Beim Installieren folgende Pakete auswählen:

• gcc-g++ (Devel)
• make (Devel)
• zlib-devel (Libs)
• zlib0 (Libs)

Im Minisat Ordner die Datei "System.cc" (im Unterordner utils) wie folgt ändern:
Am Ende der Datei finden sich die Zeilen #else
double Minisat::memUsed() {
return 0; }

#endif hier stattdessen einfügen: #else
double Minisat::memUsed() {
return 0; }

double Minisat::memUsedPeak() {
return memUsed();
}
#endif Dann in der Konsole: export MROOT=/PATH/TO/minisat/ Im Ordner /PATH/TO/minisat/core/ make rs