@hackage smt2-parser dependencies

7 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

Core data structures and operations

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

test:smt2-parser-test (4 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

Core data structures and operations

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

@hackage/smt2-parser

A Haskell parser for SMT-LIB version 2.6