Hsmtlib (hackage): Haskell library for easy interaction with SMT-LIB 2 compliant solvers.
Keywords: bsd3|library|smt----------