@hackage satyros dependencies

17 results

library:satyros (8 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause

@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>=4.12 && <4.15

@hackage/lens

Lenses, Folds and Traversals

BSD-2-Clause

@hackage/free

Monads for free

BSD-3-Clause

@hackage/extra

Extra functions I use.

BSD-3-Clause

test:satyros-test (9 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause

@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

@hackage/satyros

Step-by-step SAT solver for educational purposes

MIT

@hackage/lens

Lenses, Folds and Traversals

BSD-2-Clause

@hackage/free

Monads for free

BSD-3-Clause

@hackage/extra

Extra functions I use.

BSD-3-Clause