@hackage / decision-diagrams

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

Latest0.2.0.0

Dependencies

library:decision-diagrams (11 dependencies)

@hackage / intern Efficient hash-consing for arbitrary data types
- Version: >=0.9.1.2 && <1.0.0.0
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.11.0.0 && <5
- License: BSD-3-Clause
@hackage / primitive Primitive memory-related operations
- Version: >=0.6.3.0 && <0.10
- License: BSD-3-Clause
@hackage / hashable A class for types that can be converted to a hash value
- Version: >=1.2.7.0 && <1.6
- License: BSD-3-Clause
@hackage / reflection Reifies arbitrary terms into types that can be reflected back into terms
- Version: >=2.1.4 && <2.2
- License: BSD-3-Clause
@hackage / hashtables Mutable hash tables in the ST monad
- Version: >=1.2.3.1 && <1.4
- License: BSD-3-Clause
@hackage / vector Efficient Arrays
- Version: >=0.12.0.2 && <0.14
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5.11.0 && <0.8
- License: BSD-3-Clause
@hackage / unordered-containers Efficient hashing-based container types
- Version: >=0.2.9.0 && <0.3
- License: BSD-3-Clause
@hackage / mwc-random Fast, high quality pseudo random number generation
- Version: >=0.13.6.0 && <0.16
- License: BSD-2-Clause
@hackage / random Pseudo-random number generation
- Version: >=1.1 && <1.3
- License: BSD-3-Clause

test:decision-diagrams-doctest (5 dependencies)

test:decision-diagrams-test (13 dependencies)