hBDD
Version 0.0.3 revision 0 uploaded by PeterGammie.
Package meta
- Synopsis
- An abstraction layer for BDD libraries
- Description
hBDD provides a high-level API to the CUDD and CMU Boolean Decision Diagram libraries.
- Author
- Peter Gammie
- Bug reports
- n/a
- Category
- Data
- Copyright
- (C) 2002-2005, 2009 University of New South Wales, (C) 2009-2011 Peter Gammie
- Homepage
- n/a
- Maintainer
- peteg42@gmail.com
- Package URL
- n/a
- Stability
- n/a