@hackage smtlib2-pipe dependencies

18 results

library:smtlib2-pipe (12 dependencies)

@haskell/transformers

Concrete functor and monad transformers

BSD-3-Clause

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/process

Process libraries

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/bytestring

Fast, compact, strict and lazy byte strings with a list interface

BSD-3-Clause

@haskell/base

Core data structures and operations

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

@hackage/smtlib2

A type-safe interface to communicate with an SMT solver.

GPL-3.0-only>=1.0 && <1.1

@hackage/dependent-sum

Dependent sum type

LicenseRef-PublicDomain

@hackage/blaze-builder

Efficient buffered output.

BSD-3-Clause

@hackage/attoparsec

Fast combinator parsing for bytestrings and text

BSD-3-Clause

@hackage/atto-lisp

Efficient parsing and serialisation of S-Expressions.

BSD-3-Clause>=0.2

test:test-smtlib2-pipe (6 dependencies)

@haskell/base

Core data structures and operations

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

@haskell/Cabal

A framework for packaging Haskell software

BSD-3-Clause

@hackage/smtlib2-quickcheck

Helper functions to create SMTLib expressions in QuickCheck

GPL-3.0-only>=1.0 && <1.1

@hackage/smtlib2-pipe

A type-safe interface to communicate with an SMT solver.

GPL-3.0-only==1.0

@hackage/smtlib2

A type-safe interface to communicate with an SMT solver.

GPL-3.0-only

@hackage/cabal-test-quickcheck

QuickCheck for Cabal

MIT