Are you sure you want to leave Paper?
Continue to http://smtlib.cs.uiowa.edu/language.shtml
Please turn on JavaScript to use Paper in all of its awesomeness. ^_^
