smt-lib [1] is a library for reading and writing SMT-LIB [2] files via Haskell. SMT-LIB is a common language and benchmark suite used by most SMT solvers. Currently the library supports the full SMT-LIB version 2 syntax. However at this time, only command scripts -- not responses -- can be parsed. Comments, bug reports, or suggestions for improvements welcome. -Tom [1] http://hackage.haskell.org/package/smt-lib [2] http://goedel.cs.uiowa.edu/smtlib/