[SMT-COMP] List of Submitted Solvers is Online.

[Jochen Hoenicke]

Dear SMT community,

the first submission deadline for the SMT-COMP 2021 has passed on Sunday
and the list of submitted solvers is now online

    https://smt-comp.github.io/2021/participants.html

If you submitted a solver, please take the time to check that the
information on the website is accurate.

Note that this list only covers the tracks that run on the StarExec
cluster. The list of solvers participating in the parallel and cloud track
will be published later.

We will start test runs in the following days to check that the solvers
work in our framework.  The submission deadline for the final version of
the solvers will be June 13 (AOE).

Sincerely,

The organizing team

Haniel Barbosa, Universidade Federal de Minas Gerais, Brazil
Jochen Hoenicke (chair), Albert-Ludwigs-Universität Freiburg, Germany
Antti Hyvärinen, Università della Svizzera italiana, Switzerland