@hackage decision-diagrams0.1.0.0

Binary Decision Diagrams (BDD) and Zero-suppressed Binary Decision Diagrams (ZDD)

Categories
- Data Structures
License
BSD-3-Clause
Maintainer
masahiro.sakai@gmail.com
Links
Versions
- 0.2.0.0 Sat, 17 Jun 2023
- 0.1.0.0 Tue, 23 Nov 2021

decision-diagrams

Binary Decision Diagrams (BDD) and Zero-suppressed Binary Decision Diagrams (ZDD) implementation in Haskell.

Hash-consing is implemented using intern package.

Installation
In your cabal file:
Dependencies (10)
- base >=4.7 && <5
- containers >=0.5.11.0 && <0.7
- primitive >=0.6.3.0 && <0.8
- random >=1.1 && <1.3
- hashable >=1.2.7.0 && <1.4
- hashtables >=1.2.3.1 && <1.3
Dependents (0)