[SMT-COMP] Access to solvers on StarExec

[Aina Niemetz]

Dear Participants,

please make sure that submitted solvers are visible to us organizers by
making them either public or explicitly adding all of us organizers to
have access.

I didn't check all of them yet, but I can't access solvers submitted by
Bruno and Trevor.

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/20190520/70223f9a/attachment.asc>