Authors

B.R.M. Gattinger

Date (dd-mm-yyyy)

2023-11-23

Title

HasCacBDD version 0.2.0.0

Subtitle

Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management

Publication Year

2023-11-23

Document type

Software

Permalink

https://hdl.handle.net/11245.1/a2f103d7-683b-4331-b401-80386bce98fe