[SMT-COMP] SMT-COMP 2020 rules draft and timeline

[Antti Hyvärinen]

The revised (draft) rules for SMT-COMP 2020 are now available on the
competition website: http://www.smt-comp.org/2020/rules20.pdf

These rules are open for comment through Monday, April 13.

There are several significant changes from last year. Please refer to
Section 3 of the rules draft for a detailed summary of the changes.

Important dates:
* May 20 (approx.) new release of SMT-LIB benchmark library
* May 4            for first versions of solvers
* May 18           for final versions of solvers

The solver submission form and the final rules document will be made
available at the final call for solvers (announced here and on the
competition website).

Antti Hyvarinen
(on behalf of the organizers)