smtLib

A library for working with the SMTLIB format.

LTS Haskell 8.24:1.0.8
Stackage Nightly 2017-10-02: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