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