The International Satisfiability Modulo Theories (SMT) Competition.
Competitions by Year
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.