@hackage atp dependencies

26 results

library:atp (8 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause>=1.2.3 && <1.3

@haskell/process

Process libraries

BSD-3-Clause>=1.6.3 && <1.7

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause>=2.2 && <3.0

@haskell/containers

Assorted concrete container types

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

@haskell/base

Basic libraries

BSD-3-Clause>=4.8 && <5.0

@hackage/tptp

Parser and pretty printer for the TPTP language

GPL-3.0-only>=0.1.3 && <0.2

@hackage/semigroups

Anything that associates

BSD-3-Clause>=0.18 && <1.0

@hackage/ansi-wl-pprint

The Wadler/Leijen Pretty Printer for colored ANSI terminal output

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

test:doc (7 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause

@hackage/generic-random

Generic random generators for QuickCheck

MIT>=1.2.0.0 && <1.3

@hackage/doctest

Test interactive Haskell examples

MIT

@hackage/atp

Interface to automated theorem provers

GPL-3.0-only

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause>=2.4 && <3.0

test:property (8 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-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/semigroups

Anything that associates

BSD-3-Clause>=0.18 && <1.0

@hackage/generic-random

Generic random generators for QuickCheck

MIT>=1.2.0.0 && <1.3

@hackage/atp

Interface to automated theorem provers

GPL-3.0-only

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause>=2.4 && <3.0

test:unit (3 dependencies)

@haskell/base

Basic libraries

BSD-3-Clause

@haskell/Cabal

A framework for packaging Haskell software

BSD-3-Clause>=1.16.0

@hackage/atp

Interface to automated theorem provers

GPL-3.0-only