[SMT-LIB] URL for draft Command Language

Aaron Stump aaron.stump at gmail.com
Sun Aug 2 08:16:04 EDT 2009


Hello, again.  The draft of the Command Language (maybe scrubbed from my
email of yesterday) is available at

http://www.cs.uiowa.edu/~astump/papers/smt-cmd-lang.pdf

Aaron


More information about the SMT-LIB mailing list