@hackage funsat dependencies

22 results

library:funsat (11 dependencies)

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause

@hackage/base

Core data structures and operations

BSD-3-Clause

@hackage/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@hackage/fgl

Martin Erwig's Functional Graph Library

BSD-3-Clause

@hackage/containers

Assorted concrete container types

BSD-3-Clause

@hackage/bitset

A space-efficient set data structure.

MIT

@hackage/parsec

Monadic parser combinators

BSD-2-Clause

@hackage/parse-dimacs

DIMACS CNF parser library

BSD-3-Clause

@hackage/random

Pseudo-random number generation

BSD-3-Clause

@hackage/pretty

Pretty-printing library

BSD-3-Clause

executable:funsat (11 dependencies)

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause

@hackage/base

Core data structures and operations

BSD-3-Clause

@hackage/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@hackage/fgl

Martin Erwig's Functional Graph Library

BSD-3-Clause

@hackage/containers

Assorted concrete container types

BSD-3-Clause

@hackage/bitset

A space-efficient set data structure.

MIT

@hackage/time

A time library

BSD-2-Clause

@hackage/parsec

Monadic parser combinators

BSD-2-Clause

@hackage/parse-dimacs

DIMACS CNF parser library

BSD-3-Clause

@hackage/pretty

Pretty-printing library

BSD-3-Clause