- Datentypen für Literal, Klausel, Formel
- Solver als externer Prozeß:
- Renderer für Dimacs-Format
- Aufruf eines externen Solvers (minisat)
- Parser für Ausgabe des Solvers
- oder Solver über API:
- Klauseln in RAM schreiben
- Solver aufrufen
- Belegung aus RAM auslesen
2014-03-31
