hBDD

An abstraction layer for BDD libraries

Latest on Hackage:0.0.3

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

LGPL licensed by Peter Gammie
Maintained by peteg42@gmail.com
A Haskell Binding to some BDD Libraries. -*- Outline -*-
----------------------------------------

This library provides a convenient abstraction of several BDD packages
in Haskell. The intention is to furnish most useful Boolean operations
with a purely functional interface, while still allowing access to the
operational features (like variable re-ordering) via the IO monad.

I have abandoned BuDDy support and am focussing on CUDD. The CMU/Long
binding is of mostly historic interest and has only been lightly
tested in recent years.

* Installing

Install the CUDD and/or CMU/Long BDD packages.

runghc Setup configure --user -p --enable-library-profiling --ghc-option=-auto-all --ghc-option=-caf-all
runghc Setup build
runghc Setup install

You may need to use Cabal flags --extra-include-dirs and
--extra-lib-dirs to point it at the location of the BDD libraries.

* Documentation

Haddock-generated documentation for the Haskell bindings can be found
in the 'doc' directory. CMU/Long's manpage - bdd(3) - is a source of
valuable information. Also the documentation for CUDD is very readable
(albeit obscure at times), and the implementation is quite clean.

* Copyleft

This library is free software; you can redistribute it and/or modify it
under the terms of the GNU Library General Public License as published by
the Free Software Foundation; either version 2 of the License, or (at your
option) any later version.

This library is distributed in the hope that it will be useful, but WITHOUT
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE. See the GNU Library General Public
License for more details.

You should have received a copy of the GNU Library General Public License
along with this library; if not, write to the Free Software Foundation,
Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307 USA.
Depends on:
Used by 2 packages:
comments powered byDisqus