[SMT-COMP] Final solver version submission

[Aina Niemetz]

Hi all,

final solver submission deadline is Sunday June 2nd, 2019.
Please send updated solver IDs (if you have any updates) and
corresponding solver names via email to us organizers.

If you didn't submit a 32-bit integer for the competition seed, please
do so until June 2nd.

Also, don't forget that submission of a system description is mandatory
and required via email to us organizers until June 2nd, 2019.

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/20190529/4312a94a/attachment.asc>