@hackage sbv dependencies

17 results

library:sbv (12 dependencies)

@haskell/random

Pseudo-random number generation

BSD-3-Clause>=1.0.1.1

@haskell/process

Process libraries

BSD-3-Clause>=1.0.1.3

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause>=2.0.1.0

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause>=1.1.0.4

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause>=1.0.1.1

@haskell/deepseq

Deep evaluation of data structures

BSD-3-Clause>=1.1.0.2

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.3.0.0

@haskell/base

Core data structures and operations

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

@haskell/array

Mutable and immutable arrays

BSD-3-Clause>=0.3.0.1

@hackage/strict-concurrency

Strict concurrency abstractions

BSD-3-Clause>=0.2.4.1

@hackage/old-time

Time library

BSD-3-Clause>=1.0.0.5

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause>=2.4.0.1

executable:SBVUnitTests (5 dependencies)

@haskell/process

Process libraries

BSD-3-Clause>=1.0.1.3

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause>=1.1.0.4

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause>=1.0.1.1

@haskell/base

Core data structures and operations

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

@hackage/sbv

SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.

BSD-3-Clause