[SMT-LIB] proposal for SMT-LIB command language

[Aaron Stump]

Dear SMT-LIB members,

The SMT API working group has drafted a proposal for a standard SMT-LIB
Command Language, for standardized interaction between an SMT solver and
calling applications.  After a bit of a delay, and spurred on by the SMT
workshop starting tomorrow, I am sending this draft of the document, for
broader consideration by the community.  Please see the acknowledgments
section for a list of all the others who contributed to this document, and
feel free to send me any feedback or comments you might have, or talk to me
at SMT tomorrow or Monday if you are attending.

Best wishes,
Aaron
-------------- next part --------------
A non-text attachment was scrubbed...
Name: doc.pdf
Type: application/pdf
Size: 102076 bytes
Desc: not available
Url : /pipermail/smt-lib/attachments/20090801/6a9f97c0/doc-0001.pdf