@hackage hBDD-CMUBDD dependencies

5 results

library:hBDD-CMUBDD (5 dependencies)

@haskell/unix

POSIX functionality

@haskell/deepseq

Deep evaluation of data structures

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

BSD-3-Clause>=4 && <5

@hackage/hBDD

An abstraction layer for BDD libraries

LicenseRef-LGPL==0.0.3