Home » net.automatalib » automata-incremental » Usages

Artifacts using AutomataLib :: Incremental (5)
Sort by:Popular▼

1. LearnLib :: Filters :: Cache10 usages

de.learnlib » learnlib-cacheApache

Caches to avoid posing duplicate membership queries
Last Release on Feb 6, 2025

2. LearnLib :: Oracles :: Parallelism4 usages

de.learnlib » learnlib-parallelismApache

Support for posing membership queries in parallel
Last Release on Feb 6, 2025

3. AutomataLib :: Distribution3 usages

net.automatalib.distribution » automata-distributionApache

An artifact that aggregates all other artifacts of AutomataLib to produce an Uber-JAR that can be used in non-maven environments. Likewise, this single artifact may be used in maven-aware environments to declare a dependency on all AutomataLib artifacts.
Last Release on Mar 11, 2025

4.

data.de.learnlib » learnlib-cache

5. AutomataLib :: Examples

net.automatalib » automata-examplesLGPL

A collection of various small example applications that illustrate several use cases of AutomataLib.<br /> <em>Note:</em> This artifact is not intended as a library, but only exists for educational purposes.
Last Release on Dec 13, 2013

6. AutomataLib :: Archetypes :: Complete

net.automatalib.archetypes » completeApache

The complete archetype, which provides preconfigured dependencies on all artifacts of AutomataLib.
Last Release on Mar 11, 2025
  • Prev
  • 1
  • Next