stp/stp — pull request #9 by edmcman (2013-09-05 14:04:13+00:00)
Title: Modify smtlib2 parser to accept let expressions inside of terms.

See https://groups.google.com/d/topic/stp-users/OVXDFyCgTuY/discussion for discussion.