ROBBD-Implementierungen

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

• Namen der Prelude-Funktionen für Bool werden verwendet für OBDD v
• viele denkbare Verbesserungen, z. B. Cache für alle Teilformeln und Teil-DAGs