Infrastructure and core interfaces of LearnLib

Translation utilities for mapping abstract hypothesis symbols to concrete SUL symbols

Example learning setups to be used for integration testing

This artifact contains the API of AutomataLib, which mainly consists of interfaces

The core artifact of AutomataLib. This library contains concrete implementations for many

Basic utility library containing several useful classes to ease everyday programming.

TestNG is a testing framework inspired from JUnit and NUnit but introducing some new functionalities that make it more ...

A collection of membership oracles