@hackage / Hsmtlib

Haskell library for easy interaction with SMT-LIB 2 compliant solvers.

Latest2.8.8.8

Dependencies

library:Hsmtlib (7 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.7 && <4.8
- License: BSD-3-Clause
@hackage / smtLib A library for working with the SMTLIB format.
- Version: >=1.0 && <1.1
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.4 && <0.5
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5 && <0.6
- License: BSD-3-Clause
@hackage / process Process libraries
- Version: >=1.2 && <1.3
- License: BSD-3-Clause
@hackage / parsec Monadic parser combinators
- Version: >=3.1 && <3.2
- License: BSD-2-Clause
@hackage / pretty Pretty-printing library
- Version: >=1.1 && <1.2
- License: BSD-3-Clause