@hackage HasCacBDD0.1.0.2

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
- 0.1.0.3 Tue, 30 Jun 2020
- 0.1.0.2 Wed, 19 Jun 2019
- 0.1.0.1 Thu, 24 Jan 2019

Installation
Custom
In your cabal file:
Dependencies (3)
- base >=4.8 && <5
- process >=1.1
- QuickCheck
Dependents (2)
@hackage/acme-everything, @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.1.0.2

Categories

License

Maintainer

Links

Versions

InstallationCustom

Dependencies (3)

Dependents (2)

Installation
Custom