hBDD
hBDD provides a high-level API to the CUDD and CMU Boolean Decision Diagram libraries.
Ecosystem
hackage.haskell.org
hackage.haskell.org
Latest Release
almost 11 years ago
0.0.3
almost 11 years ago
Versions
2
2
Downloads
2,023 total
2,023 total
Dependent Repos
1
1
Loading...
Readme
Loading...
Links
| Registry | hackage.haskell.org |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:hackage/hBDD
spec |
| License | Other |
| First Release | almost 14 years ago |
| Last Synced | 1 day ago |