The hBDD package

[Tags: lgpl, library]

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


Properties

Version0.0.2
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
Upload dateSun Jun 24 05:35:15 UTC 2012
Uploaded byPeterGammie
Downloads159 total (17 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees