@hackage SmtLib dependencies

3 results

library:SmtLib (3 dependencies)

@haskell/transformers

Concrete functor and monad transformers

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

@haskell/parsec

Monadic parser combinators

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

@haskell/base

Core data structures and operations

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