We are happy to announce our new releases of LearnLib and AutomataLib. This one is a little bit of a smaller release, because some of our projects progressed slower than anticipated due to the COVID-19 pandemic. To not keep you waiting, we therefore decided to publish the goodies we had so far a little bit […]
Entries posted by Markus
LearnLib 0.15.0 and AutomataLib 0.9.0 release
We are happy to announce our new (annual) release of LearnLib and AutomataLib. This release contains mostly updates to AutomataLib. Among the main new features are a new parser for DOT files, a parser for LTSmin-based LTL formulae and a new facade for Paige-Tarjan based automaton minimization. We were also able to provide some QOL […]
LearnLib revival – Release 0.13.0
Good things are worth waiting for! After a nearly 2 year hiatus due to the departure of the core research assistants behind the project, development of the LearnLib and AutomataLib has been picked up again mid 2017. We are happy to announce that these efforts have culminated in new releases for both LearnLib and AutomataLib, […]
Open source release of LearnLib
LearnLib is now available as Free and Open Source Software, under the terms of the LGPL 3.0 license, rebasing LearnLib on AutomataLib, a free and extensible automata library and offering an even better structured API compared to previous releases. Anybody is invited not only to use LearnLib for projects involving automata learning, but also to cooperate […]