Group: de.learnlib - All Dependencies

learnlib-api 0.16.0

LearnLib :: API · Infrastructure and core interfaces of LearnLib

Oct 12, 2020
28 usages
147 stars
learnlib-core 0.12.0

LearnLib :: Core · Infrastructure and core functionalities of LearnLib

Jun 04, 2015
20 usages
147 stars

LearnLib :: Oracles :: Membership Oracles · A collection of membership oracles

Oct 12, 2020
15 usages
learnlib-util 0.16.0

LearnLib :: Commons :: Util · A collection of utility methods for learning setups (oracle wrappers, etc.)

Oct 12, 2020
14 usages
147 stars

LearnLib :: Simulator · Membership and equivalence oracles using an automaton model as backend

Jun 04, 2015
12 usages
147 stars

LearnLib :: Commons :: Counterexamples · A collection of standard algorithms for handling counterexamples in automata learning

Oct 12, 2020
10 usages
147 stars

LearnLib :: Drivers :: Simulator · Utilities for simulating SULs

Oct 12, 2020
8 usages

LearnLib :: Equivalence Tests :: Basic Tests · A collection of basic algorithm for approximating equivalence queries

Jun 04, 2015
8 usages
learnlib-acex 0.16.0

LearnLib :: Commons :: Abstract Counterexamples · An abstract counterexample analysis framework

Oct 12, 2020
7 usages
147 stars

LearnLib :: Filters :: Cache · Caches to avoid posing duplicate membership queries

Oct 12, 2020
7 usages
147 stars

LearnLib :: Oracles :: Equivalence Oracles · A collection of equivalence oracles

Oct 12, 2020
7 usages

LearnLib :: Datastructures :: Discrimination Tree · Data- and utility classes for Discrimination Trees

Oct 12, 2020
7 usages

LearnLib :: Algorithms :: Generic L* · A flexible, optimized version of Dana Angluin's L* algorithm

Jun 04, 2015
6 usages

LearnLib :: Annotation Processor · Annotations and processors for the LearnLib build process

Oct 12, 2020
5 usages

LearnLib :: Datastructures :: PTA · Data- and utility classes for Prefix-Tree-Acceptors

Oct 12, 2020
5 usages

LearnLib :: Datastructures :: List · Data- and utility classes for Lists

Oct 12, 2020
5 usages
147 stars

LearnLib :: Oracles :: Parallelism · Support for parallelizing membership queries

Oct 12, 2020
5 usages
147 stars

LearnLib :: Algorithms :: Discrimination Tree · A learning algorithm, which distinguishes hypothesis states using a discrimination tree.

Oct 12, 2020
4 usages
learnlib-rpni 0.16.0

LearnLib :: Algorithms :: RPNI · The RPNI passive learning algorithm

Oct 12, 2020
4 usages
147 stars

LearnLib :: Algorithms :: Algorithm Features · Common interfaces providing features supported by various learning algorithms

Jun 04, 2015
4 usages

LearnLib :: Filters :: Statistics · Filters for collecting statistical data

Oct 12, 2020
4 usages
147 stars

LearnLib :: Filters :: Reuse · Reuse Tree for (intelligently) caching membership queries

Oct 12, 2020
3 usages
147 stars

LearnLib :: Drivers :: Mapper · Translation utilities for mapping abstract hypothesis symbols to concrete SUL symbols

Oct 12, 2020
3 usages
147 stars
learnlib-dhc 0.16.0

LearnLib :: Algorithms :: DHC · The Direct Hypothesis Construction algorithm for active learning of Mealy machines

Oct 12, 2020
3 usages
147 stars

Advertisement

Top Dependency Usages

Feb 13, 2021
95k usages
8.2k stars
Oct 08, 2022
69k usages
13k stars
Nov 25, 2022
51k usages
1.8k stars
Feb 28, 2022
27k usages
43k stars
Nov 18, 2022
25k usages
2.3k stars
image

Maven Repository

Search Maven dependencies with Maven Repository Chrome Extension

Add to Chrome