27 Feb
2020
27 Feb
'20
11:51 a.m.
On Thu, Feb 27, 2020 at 11:00 AM Ranjana N <ranjana.nallamalli(a)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:
http://gadl.free.fr/dl/spot-2.8.6.tar.gz
(SHA1: b5bd8d855fbfcc62ddaa1b494e9cf284b8198130)
--
Alexandre Duret-Lutz