@hackage funsat dependencies

21 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

Core data structures and operations

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 && <2

@hackage/bimap

Bidirectional mapping between two key types

BSD-3-Clause>=0.2 && <0.3

executable:funsat (12 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

Core data structures and operations

BSD-3-Clause<4

@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 && <2

@hackage/bimap

Bidirectional mapping between two key types

BSD-3-Clause>=0.2 && <0.3

@hackage/QuickCheck

Automatic testing of Haskell programs

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