A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers. - View it on GitHub