@hackage / smtlib2-pipe

A type-safe interface to communicate with an SMT solver.

Latest1.0

Dependencies

library:smtlib2-pipe (12 dependencies)

@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause
@hackage / attoparsec Fast combinator parsing for bytestrings and text
- Version:
- License: BSD-3-Clause
@hackage / smtlib2 A type-safe interface to communicate with an SMT solver.
- Version: >=1.0 && <1.1
- License: GPL-3.0-only
@hackage / text An efficient packed Unicode text type.
- Version:
- License: BSD-2-Clause
@hackage / transformers Concrete functor and monad transformers
- Version:
- License: BSD-3-Clause
@hackage / process Process libraries
- Version:
- License: BSD-3-Clause
@hackage / dependent-sum Dependent sum type
- Version:
- License: LicenseRef-PublicDomain
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version:
- License: BSD-3-Clause
@hackage / atto-lisp Efficient parsing and serialisation of S-Expressions.
- Version: >=0.2
- License: BSD-3-Clause
@hackage / blaze-builder Efficient buffered output.
- Version:
- License: BSD-3-Clause

test:test-smtlib2-pipe (6 dependencies)