Safe Haskell | None |
---|---|
Language | Haskell98 |
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
module OBDD.Data
module OBDD.Property
module OBDD.Operation
module OBDD.Display
module OBDD.Make