Authors B.R.M. Gattinger Date (dd-mm-yyyy) 2025-10-22 Title HasCacBDD version 0.3.0.1: Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management Publication Year 2025-10-22 Document type Software URL go to publisher's site Permalink https://hdl.handle.net/11245.1/e2ed0dcf-ea4a-47a5-885d-3214e64a0644