@hackage smt2-parser dependencies

8 results

library:smt2-parser (3 dependencies)

@hackage/base

Core data structures and operations

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

@hackage/text

An efficient packed Unicode text type.

BSD-2-Clause>=1.2.4

@hackage/parsec

Monadic parser combinators

BSD-2-Clause>=3.1.14

test:smt2-parser-test (5 dependencies)

@hackage/base

Core data structures and operations

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

@hackage/HUnit

A unit testing framework for Haskell

BSD-3-Clause>=1.6.0

@hackage/text

An efficient packed Unicode text type.

BSD-2-Clause>=1.2.4

@hackage/parsec

Monadic parser combinators

BSD-2-Clause>=3.1.14

@hackage/smt2-parser

A Haskell parser for SMT-LIB version 2.6