@hackage / language-smtlib

Parsing, printing and incremental I/O for the SMT-LIB 2 format

Latest0.1.0.0

Dependencies

library:language-smtlib (7 dependencies)

@hackage / prettyprinter A modern, easy to use, well-documented, extensible pretty-printer.
- Version: >=1.7 && <1.8
- License: BSD-2-Clause
@hackage / base Core data structures and operations
- Version: >=4.7 && <5
- License: BSD-3-Clause
@hackage / parser-combinators Lightweight package providing commonly useful parser combinators
- Version: >=1.0 && <1.4
- License: BSD-3-Clause
@hackage / megaparsec Monadic parser combinators
- Version: >=9.0 && <10
- License: BSD-2-Clause
@hackage / scientific Numbers represented using scientific notation
- Version: >=0.3 && <0.4
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: >=1.2 && <2.2
- License: BSD-2-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.6 && <0.8
- License: BSD-3-Clause

executable:language-smtlib-conformance (5 dependencies)

executable:language-smtlib-exe (3 dependencies)

test:language-smtlib-test (11 dependencies)