Artifacts using AutomataLib :: Core (65)

Sort by:Popular▼

✓Popular✓Newest

This artifact provides various common utility operations for analyzing and manipulating automata and graphs, such as traversal, minimization and copying.

Example learning setups to be used for integration testing

Support classes for easily writing integration test cases for learning algorithms

A collection of membership oracles

Infrastructure and core functionalities of LearnLib

(De-)Serializers for the DOT Format

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

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

A collection of equivalence oracles

Caches to avoid posing duplicate membership queries