[SMT-LIB] API discussion

Aaron Stump aaron.stump at gmail.com
Tue Aug 4 23:34:55 EDT 2009


Thanks to everyone who is commenting now on the draft SMT Command Language
proposal.  Just to avoid cluttering the smt-lib list, I'd like to invite
anyone who wishes to discuss this to join the smt-api mailing list and
working group (I have already invited the people who emailed in about this
in the past couple days).  Just send your email to

smt-api at cs.nyu.edu

and I'll approve it and invite you to join the mailing list.

Aaron


More information about the SMT-LIB mailing list