[SMT-COMP] SMT-COMP registration form service break

Antti Hyvärinen antti.hyvarinen at gmail.com
Tue Apr 28 16:26:41 EDT 2020


Dear all,

We are updating the competition registration form to include new
logics at the moment, so the registration is temporarily unavailable.
I will send an update as soon as the logics are in.  The deadline for
the first solver versions and registration is still May 4.

Best Regards,
Antti


More information about the SMT-COMP mailing list