@hackage hBDD-CUDD dependencies

5 results

library:hBDD-CUDD (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