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

[Antti Hyvärinen]

======================================================================

    15th International Satisfiability Modulo Theories Competition
                              (SMT-COMP'20)

                         FINAL CALL FOR SOLVERS

======================================================================

We now invite registration of solvers for SMT-COMP 2020.

Solvers must be uploaded to StarExec, and entered into the competition
via the web form at

https://forms.gle/WRbJrawdb1Sko6uz5

The submission deadline for (first versions of) solvers is

    *** May 4, 2020. ***

After the above date, no new entrants will be accepted. However,
submitted solvers may be updated until

    *** May 18, 2020. ***

Note that a short system description of 1-2 pages (see Section 4 of the
competition rules at https://smt-comp.github.io/2020/rules20.pdf) is
part of the solver submission and MANDATORY. Submission of the system
description is due until the final solver deadline on May 18, 2020.
Participants are however asked to provide a link to the system
description in the registration form to facilitate the registration,
even if the actual description would not yet be available at the time of
the registration.  The final StarExec links must be provided via email
to the organisers by the final deadline.

Please see the competition rules for further details.

Sincerely,
Antti (for the organizing team)