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.

If it is possible to provide a download version of the tool, I would be grateful.

Thanks & regards

Ranjana

On Thu, Feb 27, 2020 at 3:25 PM Alexandre Duret-Lutz <adl@lrde.epita.fr> wrote:

On Thu, Feb 27, 2020 at 10:33 AM Ranjana N <ranjana.nallamalli@gmail.com> wrote:
>
> The following website:
>
> spot.lrde.epita.fr

Thanks. Our sysadmin said he banned all non-french IPs two days ago
because of a DDOS attack that would fill the ram of our shared web
server in just 1sec. Unfortunately he had no time yesterday to work
on this.
He tried to lift the ban a few minutes ago, and the server went down
in a couple of seconds again. He is currently trying to look for a
smaller range of IPs to block.

--
Alexandre Duret-Lutz