The hBDD package

[Tags: lgpl, library]

hBDD provides a high-level API to the CUDD and CMU Boolean Decision Diagram libraries.


Properties

Versions0.0.2, 0.0.3
Change logNone available
Dependenciesbase (==4.*)
LicenseLGPL
Copyright(C) 2002-2005, 2009 University of New South Wales, (C) 2009-2011 Peter Gammie
AuthorPeter Gammie
Maintainerpeteg42@gmail.com
CategoryData
Source repositoryhead: git clone git://github.com/peteg/hBDD.cabal
UploadedSun May 24 23:53:07 UTC 2015 by PeterGammie
DistributionsNixOS:0.0.3
Downloads294 total (28 in last 30 days)
StatusDocs available [build log]
Last success reported on 2015-05-25 [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees