@hackage / smtLib

A library for working with the SMTLIB format.

Latest1.1

Dependencies

library:smtLib (2 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.5 && <5
- License: BSD-3-Clause
@hackage / pretty Pretty-printing library
- Version:
- License: BSD-3-Clause