@hackage hBDD0.0.2

An abstraction layer for BDD libraries

Installation
In your cabal file:
Dependencies (1)
- base >=4 && <5
Dependents (3)
@hackage/hBDD-CMUBDD, @hackage/acme-everything, @hackage/hBDD-CUDD

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