@hackage picologic dependencies

23 results

library:picologic (6 dependencies)

@haskell/parsec

Monadic parser combinators

BSD-2-Clause>=3.1 && <3.2

@haskell/mtl

Monad classes for transformers, using functional dependencies

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

@haskell/containers

Assorted concrete container types

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

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.6 && <4.10

@hackage/pretty

Pretty-printing library

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

@hackage/picosat

Bindings to the PicoSAT solver

MIT>=0.1 && <0.2

executable:picologic (8 dependencies)

@haskell/process

Process libraries

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

@haskell/parsec

Monadic parser combinators

BSD-2-Clause>=3.1 && <3.2

@haskell/mtl

Monad classes for transformers, using functional dependencies

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

@haskell/containers

Assorted concrete container types

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

@haskell/base

Core data structures and operations

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

@hackage/pretty

Pretty-printing library

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

@hackage/picosat

Bindings to the PicoSAT solver

MIT>=0.1 && <0.2

@hackage/haskeline

A command-line interface for user input, written in Haskell.

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

test:picologic-quickcheck (7 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>=2 && <5

@hackage/pretty

Pretty-printing library

BSD-3-Clause

@hackage/picosat

Bindings to the PicoSAT solver

MIT

@hackage/picologic

Utilities for symbolic predicate logic expressions

MIT

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause

test:pretty-print-test (2 dependencies)

@haskell/base

Core data structures and operations

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

@hackage/picologic

Utilities for symbolic predicate logic expressions

MIT