smtLib

A library for working with the SMTLIB format.

Version on this page:1.0.8
LTS Haskell 8.24:1.0.8
Stackage Nightly 2017-10-02:1.0.8
Latest on Hackage:1.1

See all snapshots smtLib appears in

BSD-3-Clause licensed by Iavor S. Diatchki
Maintained by [email protected]
This version can be pinned in stack with:smtLib-1.0.8@sha256:8a86877e660e867d379faf3bc3973b757d2c2144b5a32c98a4b3b3ddc8c45c44,852

Module documentation for 1.0.8

  • 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):
base, pretty
Used by 1 package in nightly-2017-05-17(full list with versions):
cryptol

A library for working with the SMTLIB format.