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.
- data OBDD v
- module OBDD.Property
- module OBDD.Operation
- module OBDD.Make