ucsd-progsys/liquid-fixpoint — pull request #30 by ranjitjhala (2014-02-09 23:37:29+00:00)
Title: Smtlib2: adding support for querying SMT solvers from Haskell.

See Language.Fixpoint.SmtLib2 for details.