Comments on the recent email of Harald

Aaron Stump stump at cse.wustl.edu
Mon Dec 2 11:53:35 EST 2002


Dear Harald, Cesare, and Silvio,

Thanks to Harald for his proposal and Cesare and Silvio for their
comments on it.  My first thoughts about the proposal were very
similar to what Cesare and Silvio had to say, and I am in agreement
with them both where they agree with it and where they suggest some
refinements or alternatives.

On an unrelated matter: Cesare and Silvio, you are still planning to
submit a workshop proposal for CADE, right?  The deadline is December
15th.  I am happy to help with the workshop in any way.

Sincerely,
Aaron





More information about the SMT-LIB mailing list