[SMT-COMP] SMT-COMP 2018: Participant Information

[Tjark Weber]

Dear SMT-COMP participants,

A tentative list of solvers submitted to SMT-COMP 2018 is now available
at http://smtcomp.sourceforge.net/2018/participants.shtml

Please check that the information on this page is accurate, and let us
know as soon as possible if anything is missing or wrong.

If you upload a new solver version to StarExec before the final
deadline (June 10), please also notify us by email to make sure we are
aware of the new version and will use it for the competition.

Best,
Tjark





När du har kontakt med oss på Uppsala universitet med e-post så innebär det att vi behandlar dina personuppgifter. För att läsa mer om hur vi gör det kan du läsa här: https://mp.uu.se/web/info/stod/dataskyddsforordningen.

E-mailing Uppsala University means that we will process your personal data. For more information on how this is performed, please read here: https://mp.uu.se/web/info/stod/dataskyddsforordningen