• 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 pysemigroup.