The International Satisfiability Modulo Theories (SMT) Competition.
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
The slides for the SMT-COMP 2018 presentation at SMT 2018 are available here.
The slides for the FloC Olympic Games award presentation are available here.