About LearnLib

A framework for active automata learning and experimentation

Project Modules

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 Tools 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 :: Examples A collection of various small example applications that illustrate several use cases of LearnLib. *Note:* This artifact is not intended as a library, but only exists for educational purposes. No artifacts are deployed for this module.
LearnLib :: Oracles Parent module for oracles and oracle-related modules
LearnLib :: Test Support Functionality to ease writing test cases for LearnLib