The International Satisfiability Modulo Theories (SMT) Competition.
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
26 May 2020
Due to numerous requests we have decided to extend the deadline by one day, to
Tuesday, May 26, 23.59 anywhere on earth
The NYSE component of the seed will be adjusted accordingly.