A cron is relaunching the service when failed automatically. It could take at most 10minutes.
If the service is still down after that amount of time, it requires a manual intervention. Send me an email.
If you need a more robust service, please mail me. If enough people ask for it, I take a bit of time to do it.
Attention, trnsition monoids of non deterministic automata is experimental.
If you notice another bug, please send me a mail.
Note that you can also use the Python package