[SMT-COMP] Reminder: System description MANDATORY

[Aina Niemetz]

Hi all,

this is just a quick reminder that this year, submitting a brief system
description is mandatory. Solver submissions that are not accompanied
with a system description **will not run**.
For details, see https://smt-comp.github.io/2019/rules19.pdf.

Submission is due until the final solver deadline on **June 2, 2019**.
Please submit your system description via email to us organizers.

Thanks,
Aina

-------------- 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/20190521/853c90de/attachment.asc>