[SMT-COMP] SMT-COMP 2015: Final Call for Solvers

[Tjark Weber]

Dear all,

Please remember that the deadline for submission of (first versions of)
solvers to SMT-COMP 2015 is

    *** Monday, June 1 *** (anywhere on earth).

This deadline is strict. However, submitted solvers may be updated
until June 14, 2015.

Solvers must be made available on StarExec, and additional information
must be provided to the competition organizers by email. Please see the
competition rules at http://smtcomp.sourceforge.net/2015/rules15.pdf
for further details.

Best,
Tjark