@hackage / smt2-parser

A Haskell parser for SMT-LIB version 2.6

Latest0.1.0.1

Dependencies

library:smt2-parser (3 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.13.0 && <5
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: >=1.2.4
- License: BSD-2-Clause
@hackage / parsec Monadic parser combinators
- Version: >=3.1.14
- License: BSD-2-Clause

test:smt2-parser-test (5 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.13.0 && <5
- License: BSD-3-Clause
@hackage / HUnit A unit testing framework for Haskell
- Version: >=1.6.0
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: >=1.2.4
- License: BSD-2-Clause
@hackage / parsec Monadic parser combinators
- Version: >=3.1.14
- License: BSD-2-Clause
@hackage / smt2-parser A Haskell parser for SMT-LIB version 2.6
- Version:
- License: BSD-3-Clause