The International Satisfiability Modulo Theories (SMT) Competition.
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
01 Jun 2021
The list of solvers registered to compete in SMT-COMP 2021 is online. 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.