@hackage / obdd

Ordered Reduced Binary Decision Diagrams

Latest0.9.0

Dependencies

library:obdd (8 dependencies)

@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / array Mutable and immutable arrays
- Version:
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version:
- License: BSD-2-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5
- License: BSD-3-Clause
@hackage / ersatz A monad for expressing SAT or QSAT problems using observable sharing.
- Version:
- License: BSD-3-Clause
@hackage / process-extras Process extras
- Version:
- License: MIT
@hackage / random Pseudo-random number generation
- Version:
- License: BSD-3-Clause

test:obdd-cubism (3 dependencies)

test:obdd-domino (3 dependencies)

test:obdd-mm0916 (4 dependencies)

test:obdd-placement (3 dependencies)

test:obdd-queens (4 dependencies)

test:obdd-queens2 (3 dependencies)

test:obdd-sort (3 dependencies)

test:obdd-weight (3 dependencies)