hBDD: An abstraction layer for BDD libraries
hBDD provides a high-level API to the CUDD and CMU Boolean Decision Diagram libraries.
[Skip to Readme]
Downloads
- hBDD-0.0.3.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.0.2, 0.0.3 |
---|---|
Dependencies | base (>=4 && <5) [details] |
License | LicenseRef-LGPL |
Copyright | (C) 2002-2005, 2009 University of New South Wales, (C) 2009-2011 Peter Gammie |
Author | Peter Gammie |
Maintainer | peteg42@gmail.com |
Category | Data |
Source repo | head: git clone git://github.com/peteg/hBDD.cabal |
Uploaded | by PeterGammie at 2015-05-24T23:53:07Z |
Distributions | NixOS:0.0.3 |
Reverse Dependencies | 3 direct, 0 indirect [details] |
Downloads | 1954 total (4 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2015-05-25 [all 1 reports] |