Smtlib2: adding support for querying SMT solvers from Haskell.

See Language.Fixpoint.SmtLib2 for details.