@hackage HasCacBDD0.3.0.0

Haskell bindings for CacBDD

Categories
License
GPL-2.0-only
Maintainer
malvin@w4eg.de
Links
Versions
- 0.3.0.0 Wed, 1 Jan 2025
- 0.2.0.0 Thu, 23 Nov 2023
- 0.1.0.4 Fri, 3 Feb 2023

Installation
Custom
In your cabal file:
Dependencies (3)
- base >=4.8 && <5
- process >=1.1 && <1.7
- QuickCheck >=2.4 && <2.15
Dependents (1)
@hackage/smcdel

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.

@hackage HasCacBDD0.3.0.0

Categories

License

Maintainer

Links

Versions

InstallationCustom

Dependencies (3)

Dependents (1)

Installation
Custom