OBDD

Reduced ordered binary decision diagrams, pure Haskell implementation. (c) Johannes Waldmann, 2008 - 2016

This module is intended to be imported qualified because it overloads some Prelude names.

Documentation

data OBDD v

assumes total ordering on variables

display :: Show v => OBDD v -> IO ()

Calls the dot executable (must be in $PATH) to draw a diagram in an X11 window. Will block until this window is closed. Window can be closed gracefully by typing q when it has focus.

module OBDD.Property

module OBDD.Operation

module OBDD.Make