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

module OBDD.Data

module OBDD.Property

module OBDD.Operation

module OBDD.Display

module OBDD.Make