[SMT-COMP] SMT-COMP'07 solver submission now open

[Morgan Deters]

Hi Alberto,

On Sat, Jun 16, 2007 at 01:08:19PM +0200, Alberto Griggio wrote:
> just a clarification: is it possible to submit more than once before the 
> deadline? (to fix last-minute bugs etc.)

Certainly.. I have no objection to multiple submission.  Please shoot
me an email if you do, so that I'm sure to use the correct revision.

Morgan
-- 
Morgan Deters
mdeters at morgandeters.com