Name:                obdd
Version:             0.3.2
Cabal-Version:       >= 1.6
Build-type: Simple
Synopsis:            Ordered Reduced Binary Decision Diagrams
Description:         Construct, combine and query OBDDs;
                     an efficient representation for formulas in propositional logic
category:	     Logic
License:             GPL
License-file:        LICENSE
Author:              Johannes Waldmann
Maintainer:          Johannes Waldmann
Homepage:	     https://github.com/jwaldmann/haskell-obdd

library
    Build-Depends:       base==4.*, random, mtl, containers>=0.5, array
    Hs-Source-Dirs:	     src
    Exposed-Modules:     OBDD OBDD.Data OBDD.Make OBDD.Operation OBDD.Property
    Other-Modules:	     OBDD.IntIntMap, OBDD.VarIntIntMap
    ghc-options: -funbox-strict-fields


Source-Repository head
    Type: git
    Location: git://github.com/jwaldmann/haskell-obdd.git