[SMT-COMP] SMT-COMP 2016: Final Call for Solvers
Tjark Weber
tjark.weber at it.uu.se
Thu May 12 08:32:28 EDT 2016
Dear all,
Please remember that the deadline for submission of (first versions of)
solvers to SMT-COMP 2016 is
*** Sunday, May 15 *** (anywhere on earth).
This deadline is strict. However, submitted solvers may be updated
until May 29, 2016.
Solvers must be made available on StarExec, and additional information
must be provided to the competition organizers by email. In particular,
we need to know in which tracks (main, application, unsat-core) and
divisions (i.e., logics) the solver is competing.
Please see the competition rules at
http://smtcomp.sourceforge.net/2016/rules16.pdf
for further details.
Best,
Tjark
More information about the SMT-COMP
mailing list