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

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

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