Infrastructure and core interfaces of LearnLib

Support for posing membership queries in parallel

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

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

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

This artifact contains algorithms for incrementally constructing DFAs (prefix-closed and non-prefix-closed),

This artifact provides various common utility operations for analyzing and manipulating

checker-qual contains annotations (type qualifiers) that a programmerwrites to specify Java code for type-checking by ...

Mockito mock objects library core API and implementation

API for SLF4J (The Simple Logging Facade for Java) which serves as a simple facade or abstraction for various logging ...

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

Utilities for simulating SULs

A collection of membership oracles

Filters for collecting statistical data

A collection of utility methods for learning setups (oracle wrappers, etc.)

Support classes for easily writing unit tests for various components of LearnLib