Skip to content

Commit e44b8ee

Browse files
committed
update information on README
1 parent 87d7a86 commit e44b8ee

1 file changed

Lines changed: 18 additions & 4 deletions

File tree

README.md

Lines changed: 18 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -12,13 +12,27 @@ LearnLib is a free, open source ([Apache License, v2.0][1]) Java library for aut
1212
LearnLib is mainly developed at the [Dortmund University of Technology, Germany][2].
1313
Its original purpose is to provide a framework for research on automata learning algorithms as well as for their application in practice.
1414

15-
Please note that the development of LearnLib is still in a very early stage.
1615
The public version is a re-implemented version of the former closed-source version of LearnLib.
17-
It does not yet have the complete functionality of the original version, but features will be added and made available as time permits.
18-
On the other hand, everyone is invited to contribute.
16+
While certain features have been stripped for improved modularity, development has since then extended the features offered.
17+
Currently the following learning algorithms with respective target models are supported:
1918

20-
Also please note that many parts of the library have not yet been thoroughly tested.
2119

20+
Algorithm (active) | Target models || Algorithm (passive) | Models
21+
--- | --- | --- | --- | ---
22+
ADT | `Mealy` || RPNI | `DFA` `Mealy`
23+
DHC | `Mealy` || RPNI (EDSM) | `DFA`
24+
Discrimination Tree | `DFA` `Mealy` `VPDA` || RPNI (MDL) | `DFA`
25+
Kearns & Vazirani | `DFA` `Mealy`
26+
L* (incl. variants) | `DFA` `Mealy`
27+
NL* | `NFA`
28+
TTT | `DFA` `Mealy` `VPDA`
29+
30+
31+
Additionally, LearnLib offers a variety of tools to ease the practical application of automata learning on real-world systems.
32+
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.
33+
34+
While we strive to deliver code at a high quality, please note, that there exist parts of the library that still need thorough testing.
35+
Contributions -- whether it is in the form of new features, better documentation or tests -- are welcome.
2236

2337
## Build Instructions
2438

0 commit comments

Comments
 (0)