@hackage sbv dependencies

23 results

library:sbv (12 dependencies)

@haskell/random

Pseudo-random number generation

BSD-3-Clause

@haskell/process

Process libraries

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause

@haskell/deepseq

Deep evaluation of data structures

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Core data structures and operations

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

@haskell/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/syb

Scrap Your Boilerplate

BSD-3-Clause

@hackage/old-time

Time library

BSD-3-Clause

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause

executable:SBVUnitTests (6 dependencies)

@haskell/process

Process libraries

BSD-3-Clause

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause

@haskell/base

Core data structures and operations

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

@hackage/syb

Scrap Your Boilerplate

BSD-3-Clause

@hackage/sbv

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

BSD-3-Clause

test:SBVBasicTests (5 dependencies)

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause

@haskell/base

Core data structures and operations

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

@hackage/syb

Scrap Your Boilerplate

BSD-3-Clause

@hackage/sbv

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

BSD-3-Clause