[SMT-COMP] SMT-COMP 2017: Final Call for Solvers
tjark.weber at it.uu.se
Mon Jun 5 04:48:03 EDT 2017
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
*** 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
Please see the competition rules at
for further details.
Thank you to everyone who submitted their solver(s) already!
More information about the SMT-COMP