\begin{slide}{Überblick}

Softwarepaket \emph{satchmo} (SAT encoding monad)
\url{https://github.com/jwaldmann/satchmo}

\begin{itemize} \itemsep 0pt \parskip 2pt
\item kapselt zugrundeliegenden Solver (minisat)
\item (monadische) Verwaltung von Variablen (State),
  Klauseln (Writer)  und Belegungen (Reader)
\item boolesche Unbekannte, Kombinatoren
\item Relationen, Graphen
\item Zahlen (unär, binär), Polynome
\end{itemize}

vergleichbar: \url{http://rise4fun.com/Z3Py} \\
(Übung: Unterschiede?)
\end{slide}
