smtLib

A library for working with the SMTLIB format.

Latest on Hackage:1.1

See all snapshots smtLib appears in

BSD-3-Clause licensed by Iavor S. Diatchki

Module documentation for 1.0.7

This version can be pinned in stack with:smtLib-1.0.7@sha256:7a1d7c3e0e90bddb41538fa724f410e2a6915793ab14df4dfc4074c9d09d448e,913

A library for working with the SMTLIB format.

Depends on 2 packages(full list with versions):
Used by 1 package in lts-2.22(full list with versions):