[SMT-COMP] informal intent to submit

[Aaron Stump]

Dear SMT-COMP competitors,

As the deadline for solver submission approaches, we have realized that
it would help our planning if we had some rough idea of how many solvers
were likely to participate in this year's competition.  So would you
please email just me (stump at cse.wustl.edu), sometime in the next day or
two, with the name of your solver and the divisions you are planning or
hoping to enter?

Thanks,
Aaron