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

[Antti Hyvärinen]

Dear all,

The registration form is open again.  The address of the form is the
same as before,

  https://forms.gle/WRbJrawdb1Sko6uz5

Best Regards,
Antti



On Tue, Apr 28, 2020 at 10:26 PM Antti Hyvärinen
<antti.hyvarinen at gmail.com> wrote:
>
> 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