Hsmtlib

Haskell library for easy interaction with SMT-LIB 2 compliant solvers.

Hsmtl provides functions to interact with several smt solvers using SMT-LIB 2. The current suported solvers are Alt-Ergo, Cvc4, MathSat, Yices, Z3. Additional solvers can be used if they are SMT-LIB 2 compliant. More information and tutorials can be found in https://github.com/MfesGA/Hsmtlib