@hackage HasCacBDD dependencies

10 results

library:HasCacBDD (3 dependencies)

@haskell/process

Process libraries

BSD-3-Clause>=1.1

@haskell/base

Core data structures and operations

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

@hackage/QuickCheck

Automatic testing of Haskell programs

test:basics (2 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.8

@hackage/HasCacBDD

Haskell bindings for CacBDD

test:example (2 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.8

@hackage/HasCacBDD

Haskell bindings for CacBDD

test:tautologies (3 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.8

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause>2.4

@hackage/HasCacBDD

Haskell bindings for CacBDD