@hackage HasCacBDD0.1.0.0

Haskell bindings for CacBDD

Categories
License
GPL-2.0-only
Maintainer
malvin@w4eg.de
Links
Versions
- 0.2.0.0 Thu, 23 Nov 2023
- 0.1.0.4 Fri, 3 Feb 2023
- 0.1.0.3 Tue, 30 Jun 2020
- 0.1.0.2 Wed, 19 Jun 2019
- 0.1.0.1 Thu, 24 Jan 2019
- 0.1.0.0 Thu, 9 Mar 2017

Installation
Custom
In your cabal file:
Dependencies (3)
- base >=4.8 && <5
- process >=1.1
- QuickCheck
Dependents (2)
@hackage/acme-everything, @hackage/smcdel

HasCacBDD

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

Original C++ code from http://kailesu.net/CacBDD and a C wrapper are included.