obdd-0.2.3: Ordered Reduced Binary Decision Diagrams

Safe HaskellNone

OBDD

Description

reduced ordered binary decision diagrams (c) Johannes Waldmann, 2008

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

for a similar, but much more elaborate project, see http://www.informatik.uni-kiel.de/~mh/lehre/diplomarbeiten/christiansen.pdf but I'm not sure where that source code would be available.

Synopsis

Documentation

data OBDD v Source

assumes total ordering on variables

module OBDD.Make