[SMT-LIB] API discussion

[Aaron Stump]

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