-- Initial cudd.cabal generated by cabal init.  For further 
-- documentation, see http://haskell.org/cabal/users-guide/
name:                cudd
version:             0.1.0.4
synopsis:            Bindings to the CUDD binary decision diagrams library
description:         
    Bindings to version 3.0.0 of the CUDD binary decision diagrams library. 
    .
    <http://vlsi.colorado.edu/~fabio/CUDD/>
    .
    /Installation/
    .
    Either install CUDD 3.0.0 using your system's package manager or download and install CUDD from here: <http://vlsi.colorado.edu/~fabio/>. 
    .
    Then:
    .
    "cabal install cudd"
    .
    Depending on where CUDD is installed on your system, you may need to provide --extra-lib-dirs or --extra-include-dirs:
    .
    "cabal install cudd --extra-lib-dirs=\/usr\/local\/lib"
    .
    /Usage/
    .
    This package provides two interfaces to the CUDD library:
    .
    * A purely functional one in "Cudd.Cudd" that automatically dereferences BDDs during garbage collection.
    .
    * An ST Monad based one in "Cudd.Imperative" that gives you precise control over the ordering of BDD operations and when BDDs are dereferenced. Use this one if you want your code to perform well.
    .
    Also, for a higher level interface in the style of the <https://hackage.haskell.org/package/ersatz ersatz> SAT encoder, see <https://github.com/jwaldmann/cudd-ersatz/>.

license:             BSD3
license-file:        LICENSE
author:              Adam Walker
maintainer:          adamwalker10@gmail.com
copyright:           2016 Adam Walker
category:            Data
homepage:            https://github.com/adamwalker/haskell_cudd
bug-reports:         https://github.com/adamwalker/haskell_cudd/issues
build-type:          Simple
extra-source-files:  Readme.md
cabal-version:       >=1.10


library
    exposed-modules:     
        Cudd.File, 
        Cudd.Convert, 
        Cudd.Reorder, 
        Cudd.MTR, 
        Cudd.Hook, 
        Cudd.Common, 
        Cudd.C, 
        Cudd.Cudd, 
        Cudd.GC, 
        Cudd.Imperative
    other-modules:       Cudd.ForeignHelpers
    other-extensions:    ForeignFunctionInterface, CPP, FlexibleContexts, RankNTypes, EmptyDataDecls
    build-depends:       
        base         >=4.7 && <5, 
        mtl          >=2.1 && <2.3, 
        array        >=0.4 && <0.6, 
        transformers >=0.3 && <0.6
    -- hs-source-dirs:      
    build-tools:         c2hs, hsc2hs
    default-language:    Haskell2010
    include-dirs:        .
    c-sources:           
        c_sources/cuddwrap.c, 
        c_sources/stubs.c
    extra-libraries:     cudd, m