Name:                obdd
Version:             0.3.3
Cabal-Version:       >= 1.8
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

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

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

test-suite obdd-placement
    Hs-Source-Dirs : examples
    Type: exitcode-stdio-1.0
    Main-Is: Placement.hs
    Build-Depends: base, containers, obdd

test-suite obdd-queens
    Hs-Source-Dirs : examples
    Type: exitcode-stdio-1.0
    Main-Is: Queens.hs
    Build-Depends: base, containers, obdd