\begin{slide}{SAT-Solver in Paketmanagern}

    \begin{itemize}\itemsep 0pt\parskip 0pt
    \item installierte Pakete: $A.2$,\dots
    \item zu installierende Pakete: $B$, \ldots
    \item verfügbare Pakete (auf Server): 
      $B.3, B.4$,\dots
    \item Abhängigkeiten: $B.3$ erfordert $C(\ge 1.5)$,\dots
    \item Konflikte: $C.1.5 \# A(< 2.1)$,\dots
    \end{itemize}
 gesucht: konfliktfreier Install-Plan

 \begin{itemize}\itemsep 0pt\parskip 0pt
 \item Michael Schröder: \emph{Using SAT for Package Dependencies}, FOSDEM 2008
\url{http://en.opensuse.org/openSUSE:Libzypp_satsolver} 
\item Mancoosi (managing software complexity)
\url{http://www.mancoosi.org/} (2008-2011)
 \end{itemize}

\end{slide}
