@hackage smt2-parser dependencies

8 results

library:smt2-parser (3 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause>=1.2.4

@haskell/parsec

Monadic parser combinators

BSD-2-Clause>=3.1.14

@haskell/base

Basic libraries

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

test:smt2-parser-test (5 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause>=1.2.4

@haskell/parsec

Monadic parser combinators

BSD-2-Clause>=3.1.14

@haskell/base

Basic libraries

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

@hackage/smt2-parser

A Haskell parser for SMT-LIB version 2.6

@hackage/HUnit

A unit testing framework for Haskell

BSD-3-Clause>=1.6.0