@hackage sop-satisfier dependencies

7 results

library:sop-satisfier (3 dependencies)

@haskell/transformers

Concrete functor and monad transformers

BSD-3-Clause>=0.5 && <0.7

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.6.2.1 && <0.8

@haskell/base

Core data structures and operations

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

test:system-tests (4 dependencies)

@haskell/base

Core data structures and operations

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

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

@hackage/tasty

Modern and extensible testing framework

@hackage/sop-satisfier

Check satisfiability of expressions on natural numbers