[Spot] Site is not responding
adl at lrde.epita.fr
Thu Feb 27 11:51:37 CET 2020
On Thu, Feb 27, 2020 at 11:00 AM Ranjana N <ranjana.nallamalli at gmail.com> wrote:
> Ok, thanks for the update. Look forward to getting to work on it soon. I have been doing some academic work using the LTL to BA converter tools available on your site. Unfortunately I didn't download the tool, since I could use it online.
Try again; it seems to be back up. I'm told that requests from China
are limited to 10/sec, unfortunately.
> If it is possible to provide a download version of the tool, I would be grateful.
Here is one copy of the tarball, just in case:
More information about the Spot