smtLib

A library for working with the SMTLIB format.

Version on this page:1.0.7
LTS Haskell 8.6:1.0.8
Stackage Nightly 2017-03-28:1.0.8
Latest on Hackage:1.0.8
BSD3 licensed by Iavor S. Diatchki
Maintained by iavor.diatchki@gmail.com

Module documentation for 1.0.7

There are no documented modules for this package.

A library for working with the SMTLIB format.

Changes

1.0: First release.
Depends on:
Used by 2 packages:
comments powered byDisqus