Hsmtlib

Hsmtl provides functions to interact with several smt solvers using SMT-LIB 2. The current suported solvers are Cvc4, MathSat, 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