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
http://hackage.haskell.org/package/obdd-0.2
Bool
werden verwendet für OBDD v
vergleiche: Implementierung in C:
http://sourceforge.net/projects/buddy/