[Smtcomp-discussion] SMT-COMP 2017: Final Call for Solvers

[Tjark W. <tja...@it...>]

Dear all,

To allow as many teams as possible to participate, we are extending the
deadline for submission of (first versions of) solvers to SMT-COMP 2017
until

    *** Wednesday, June 7 *** (anywhere on earth).

This deadline is strict. However, submitted solvers may be updated
until June 18, 2017.

Solvers must be made available on StarExec, and additional information
must be provided to the competition organizers via the web form at
https://goo.gl/forms/HL6rbOywqW4sFo1D2

Please see the competition rules at
http://smtcomp.sourceforge.net/2017/rules17.pdf
for further details.

Thank you to everyone who submitted their solver(s) already!

Best,
Tjark