bnd Annotations Library

Command line parsing library for Java

Annotations the SpotBugs tool supports

Infrastructure and core interfaces of LearnLib

A collection of algorithms for handling counterexamples in automata learning

This artifact provides the implementation of the learning algorithm described in the book "An Introduction to

This artifact provides the implementation of the L* learning algorithm described in the paper "Learning Regular

A collection of membership oracles

A collection of equivalence oracles

Filters for collecting statistical data

This artifact provides the implementation of the TTT algorithm as described in the paper "The TTT Algorithm: A

RALib is a library for active learning algorithms for register automata.

Jakarta XML Binding (JAXB) API that allows Java developers to map Java classes to XML representations and perform ...

JUnit Jupiter is the API for writing tests using JUnit 5.

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

(De-)Serializers for the DOT Format

This artifact provides various common utility operations for analyzing and manipulating

API for Apache Log4J, a highly configurable logging tool that focuses on performance and low garbage generation. It has ...

Implementation for Apache Log4J, a highly configurable logging tool that focuses on performance and low garbage ...

The Apache Log4j SLF4J 2.0 API binding to Log4j 2 Core

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

JAXB (JSR 222) Reference Implementation

jConstraints is a library for managing SMT constraints in Java

bnd Annotations Library

Command line parsing library for Java

Annotations the SpotBugs tool supports

RALib is a library for active learning algorithms for register automata.

Jakarta XML Binding (JAXB) API that allows Java developers to map Java classes to XML representations and perform ...

JUnit Jupiter is the API for writing tests using JUnit 5.

API for Apache Log4J, a highly configurable logging tool that focuses on performance and low garbage generation. It has ...

Implementation for Apache Log4J, a highly configurable logging tool that focuses on performance and low garbage ...

The Apache Log4j SLF4J 2.0 API binding to Log4j 2 Core

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

JAXB (JSR 222) Reference Implementation

jConstraints is a library for managing SMT constraints in Java