Perlen der Informatik Sommersemester 2014

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

Übungsleitung:

Philipp Hoffmann

Termine:

TBA

Tools:

Wir werden in der Übung MiniSat benutzen um SAT Löser kennen zu lernen und werden diesen Löser vielfach einsetzen. Sie können zwar einen anderen Löser ihrer Wahl verwenden, wir empfehlen jedoch MiniSat. Nachfolgend finden sie Anleitungen wie sie MiniSat installieren.

Version 2.2 von MiniSat gibt es hier.

Bemerkung:
Es gibt vorkompilierte Binaries (allerdings nur Version 1.14, deshalb vielleicht nicht so performant), diese können benutzt werden . Unter Windows wird dennoch cygwin benötigt.
Anleitungen finden sich zB hier.

Nun folgen die Anleitungen zum Herunterladen und selbst Kompilieren:
Windows
Linux
Mac

Übungsblätter

Blatt 1
Blatt 2