smtLib

A library for working with the SMTLIB format.

Version on this page:1.0.8
LTS Haskell 8.19:1.0.8
Stackage Nightly 2017-06-22:1.0.8
Latest on Hackage:1.0.8
BSD3 licensed by Iavor S. Diatchki

A library for working with the SMTLIB format.

Changes

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