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