A framework for active automata learning and experimentation
This project has declared the following modules:
| Name | Description |
|---|---|
| LearnLib :: Algorithms | Parent module for automata learning algorithms shipped with LearnLib |
| LearnLib :: API | Infrastructure and core interfaces of LearnLib |
| LearnLib :: Archetypes | Parent metaproject for archetypes that facilitate getting started with LearnLib. |
| LearnLib :: Build Parent | A utility parent, that defines certain plugin executions for the build process. May be used to define dependencies on the "build-tools" artifact without introducing cyclic dependencies with the general parent. |
| LearnLib :: Build Tool Parent | Tools and resources required for building LearnLib |
| LearnLib :: Commons | Parent module for common LearnLib utilities |
| LearnLib :: Datastructures | Parent module for data structures shared across multiple modules of LearnLib |
| LearnLib :: Distribution | An artifact that aggregates all other artifacts of LearnLib to produce an Uber-JAR that can be used in non-maven environments. Likewise, this single artifact may be used in maven-aware environments to declare a dependency on all LearnLib artifacts. |
| LearnLib :: Drivers | Parent module for test drivers |
| LearnLib :: Oracles | Parent module for oracles and oracle-related modules |
| LearnLib :: Test Support | Functionality to ease writing test cases for LearnLib |