Dear all,
I would like to announce that we are retiring the AutomataLib Q&A
mailing list in favor of Github's "Discussion" page
(
https://github.com/LearnLib/automatalib/discussions). While this
mailing list will continue to exist (and people may still read it), it
will no longer be actively maintained by the AutomataLib team and we
encourage users to hold future discussions at the new discussions page.
Kind regards,
Markus