ucsd-progsys/liquidhaskell — pull request #94 by ranjitjhala (2013-07-19 23:36:42+00:00)
Title: Smtlib: Use smtlib2 and pipe-based communication instead of linking directly with Z3

This is a co-request of ucsd-progsys/liquid-fixpoint#15

https://github.com/ucsd-progsys/liquid-fixpoint/pull/15