[Spot] Site is not responding

Alexandre Duret-Lutz 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:
(SHA1: b5bd8d855fbfcc62ddaa1b494e9cf284b8198130)
Alexandre Duret-Lutz

More information about the Spot mailing list