@hackage funsat dependencies

20 results

library:funsat (9 dependencies)

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause

@haskell/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/pretty

Pretty-printing library

BSD-3-Clause

@hackage/parse-dimacs

DIMACS CNF parser library

BSD-3-Clause>=1.2 && <2

@hackage/fgl

Martin Erwig's Functional Graph Library

BSD-3-Clause

@hackage/bitset

A space-efficient set data structure.

MIT<1

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause

executable:funsat (11 dependencies)

@haskell/random

Pseudo-random number generation

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause

@haskell/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/time

A time library

BSD-2-Clause

@hackage/pretty

Pretty-printing library

BSD-3-Clause

@hackage/parse-dimacs

DIMACS CNF parser library

BSD-3-Clause>=1.2 && <2

@hackage/fgl

Martin Erwig's Functional Graph Library

BSD-3-Clause

@hackage/bitset

A space-efficient set data structure.

MIT<1

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause