smtLib
A library for working with the SMTLIB format.
Version on this page: | 1.0.7@rev:1 |
LTS Haskell 8.24: | 1.0.8 |
Stackage Nightly 2017-10-02: | 1.0.8 |
Latest on Hackage: | 1.1 |
Maintained by [email protected]
This version can be pinned in stack with:
smtLib-1.0.7@sha256:7a1d7c3e0e90bddb41538fa724f410e2a6915793ab14df4dfc4074c9d09d448e,913
Module documentation for 1.0.7
- SMTLib1
- SMTLib1.QF_AUFBV
- SMTLib1.QF_BV
- SMTLib2
- SMTLib2.Array
- SMTLib2.BitVector
- SMTLib2.Compat1
- SMTLib2.Core
- SMTLib2.Int
Depends on 2 packages(full list with versions):