Perlen der Informatik Sommersemester 2014

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

MiniSat Installationsanleitung für OSX:

Es wird make und gcc benötigt, dieses gibt es über Xcode oder hier.

Im Minisat Ordner die Datei "System.cc" (im Unterordner utils) wie folgt ändern:
Am Ende der Datei finden sich die Zeilen #elif defined(__APPLE__)
#include <malloc/malloc.h>

double Minisat::memUsed(void) {
malloc_statistics_t t;
malloc_zone_statistics(NULL, &t);
return (double)t.max_size_in_use / (1024*1024); }

#else hier stattdessen einfügen: #elif defined(__APPLE__)
#include <malloc/malloc.h>

double Minisat::memUsed(void) {
malloc_statistics_t t;
malloc_zone_statistics(NULL, &t);
return (double)t.max_size_in_use / (1024*1024); }

double Minisat::memUsedPeak() {
return memUsed();
}
#else Dann im Terminal: export MROOT=/PATH/TO/minisat/ Im Ordner /PATH/TO/minisat/core/ make r