You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
LearnLib is a free, opensource ([Apache License, v2.0][1]) Java library for automata learning algorithms.
7
+
LearnLib is a free, open-source ([Apache License, v2.0][1]) Java library for automata learning algorithms.
8
8
9
9
10
10
## About
@@ -33,7 +33,7 @@ Currently, the following learning algorithms with respective target models are s
33
33
34
34
Additionally, LearnLib offers a variety of tools to ease the practical application of automata learning on real-world systems.
35
35
This includes drivers and mappers for interfacing software systems with the LearnLib API as well as caches and parallelization for improving the overall performance of the learning setup.
36
-
Also, more nuanced setups such as Black-Box-Checking (via [LTSMin][ltsmin]) or inferring partial machines are possible.
36
+
Also, more nuanced setups such as Black-Box-Checking (via [LTSmin][ltsmin]) or inferring partial machines are possible.
37
37
38
38
While we strive to deliver code at a high quality, please note that there exist parts of the library that still need thorough testing.
39
39
Contributions -- whether it is in the form of new features, better documentation or tests -- are welcome.
0 commit comments