\begin{slide}{Technische Grundlagen}

  \begin{itemize}
  \item Datentypen für Literal, Klausel, Formel
  \item Solver als externer Prozeß:
    \begin{itemize}
    \item Renderer für Dimacs-Format
    \item Aufruf eines externen Solvers (minisat)
    \item Parser für Ausgabe des Solvers
    \end{itemize}
  \item \emph{oder} Solver über API:
    \begin{itemize}
    \item Klauseln in RAM schreiben
    \item Solver aufrufen
    \item Belegung aus RAM auslesen
    \end{itemize}
  \end{itemize}

\end{slide}

