The hBDD-CUDD package

[Tags: lgpl, library]

hBDD provides a high-level API to some Boolean Decision Diagram libraries; this is the CUDD part of it.


Properties

Version0.0.2
Dependenciesbase (==4.*), containers, deepseq, hBDD (==0.0.2), unix
LicenseLGPL
Copyright(C) 2002-2005, 2009 University of New South Wales, (C) 2009-2011 Peter Gammie
AuthorPeter Gammie, Jeremy Lee
Maintainerpeteg42@gmail.com
CategoryData
Source repositoryhead: git clone git://github.com/peteg/hBDD.cabal
Upload dateSun Jun 24 05:41:06 UTC 2012
Uploaded byPeterGammie
Downloads69 total (6 in last 30 days)

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees