[SMT-COMP] SMT-COMP 2019: Rules draft and time line

[Aina Niemetz]

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

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

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 1   new release of SMT-LIB benchmark library
* May 19  for first versions of solvers
* June 2  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).

Aina Niemetz
for the organizers

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: OpenPGP digital signature
URL: </pipermail/smt-comp/attachments/20190419/b30f68ff/attachment.asc>