The International Satisfiability Modulo Theories (SMT) Competition.
GitHub
Home Introduction Benchmark Submission Publications SMT-LIB Previous Editions
10 Aug 2022
The results of the SMT-COMP 2022 are now available.