\begin{slide}{ROBBD-Implementierungen}


\begin{verbatim}
import qualified Prelude ; import OBDD
import qualified Data.Set as S
let t = or [ unit "x" Prelude.True
           , unit "y" Prelude.False ]
number_of_models (S.fromList ["x", "y"]) t
\end{verbatim}

\url{http://hackage.haskell.org/package/obdd-0.2}
\begin{itemize}\itemsep 0pt
\item 
Namen der Prelude-Funktionen für \verb|Bool| 
werden verwendet für \verb|OBDD v|
\item
viele denkbare Verbesserungen, 
z. B. Cache für alle Teilformeln und Teil-DAGs
\end{itemize}

\bigskip vergleiche: Implementierung in C:
\url{http://sourceforge.net/projects/buddy/}

\end{slide}
