@hackage Hsmtlib dependencies

7 results

library:Hsmtlib (7 dependencies)

@haskell/transformers

Concrete functor and monad transformers

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

@haskell/process

Process libraries

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

@haskell/parsec

Monadic parser combinators

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

@haskell/containers

Assorted concrete container types

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

@haskell/base

Core data structures and operations

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

@hackage/smtLib

A library for working with the SMTLIB format.

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

@hackage/pretty

Pretty-printing library

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