JarCasting
JarCasting JarCasting

Project Group: net.automatalib

net.automatalib

AutomataLib :: API

 net.automatalib : automata-api

This artifact contains the API of AutomataLib, which mainly consists of interfaces for the various concepts and automaton models supported by the AutomataLib core. In addition to that, it also defines some fundamental classes for dealing with words of symbols.

Last Version: 0.10.0

Release Date:
net.automatalib

AutomataLib :: Core

 net.automatalib : automata-core

The core artifact of AutomataLib. This library contains concrete implementations for many of the automaton model interfaces defined in the API artifact, as well as abstract base classes that facilitate implementing new automaton model classes. Note that concrete algorithms (traversal, reachability analysis etc.) are not in the scope of this artifact.

Last Version: 0.10.0

Release Date:
net.automatalib

AutomataLib :: Commons :: Utilities

 net.automatalib : automata-commons-util

Basic utility library containing several useful classes (e.g., a Pair class) to ease everyday programming.

Last Version: 0.10.0

Release Date:
net.automatalib

AutomataLib

 net.automatalib : automata-parent

A fully generic library for automata, graphs, and models, written in Java. This is the parent artifact which does not have any source code. Please refer to the "modules" page for more detailed documentation on the single library artifacts.

Last Version: 0.10.0

Release Date:
net.automatalib

AutomataLib :: Utilities

 net.automatalib : automata-util

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

Last Version: 0.10.0

Release Date:
net.automatalib

AutomataLib :: Commons :: Smart Collections

 net.automatalib : automata-commons-smartcollections

This library provides efficient implementations for various collection data structures (esp. linked lists and priority queues), which have very insufficient implementation in the Java Collections Foundations that makes it hard or even impossible to exploit their efficiencies.

Last Version: 0.10.0

Release Date:
net.automatalib

AutomataLib :: Serialization :: Core

 net.automatalib : automata-serialization-core

Generic automata serialization core

Last Version: 0.10.0

Release Date:
net.automatalib

AutomataLib :: Incremental

 net.automatalib : automata-incremental

A library for incremental automata construction. This artifact contains algorithms for incrementally constructing DFAs (both prefix-closed and non-prefix-closed) and Mealy machines from a finite, incrementally growing set of example inputs/outputs.

Last Version: 0.10.0

Release Date:
net.automatalib

AutomataLib :: Adapters :: BRICS

 net.automatalib : automata-brics

This artifact contains adapter classes for treating the Automaton objects from the BRICS library (http://www.brics.dk/automaton) as AutomataLib models.

Last Version: 0.10.0

Release Date:
net.automatalib

AutomataLib :: Serialization :: LearnLibV2

 net.automatalib : automata-serialization-learnlibv2

(De-)Serializers for the legacy LearnLibV2 format

Last Version: 0.10.0

Release Date:
net.automatalib

AutomataLib :: Visualization :: JUNG Visualizer

 net.automatalib : automata-jung-visualizer

Visualizer using the Java Utility for Networks and Graphs

Last Version: 0.10.0

Release Date:
net.automatalib

AutomataLib :: Serialization :: TAF

 net.automatalib : automata-serialization-taf

(De-)Serializers for the Textual Automaton Format

Last Version: 0.10.0

Release Date:
net.automatalib

AutomataLib :: Serialization :: SAF

 net.automatalib : automata-serialization-saf

(De-)Serializers for the Simple Automaton Format

Last Version: 0.10.0

Release Date:
net.automatalib

AutomataLib :: Serialization :: ETF

 net.automatalib : automata-serialization-etf

Serializers for LTSmin's Enumerated Table Format

Last Version: 0.10.0

Release Date:
net.automatalib

AutomataLib :: Serialization :: FSM

 net.automatalib : automata-serialization-fsm

Deserializers for the Finite State Machine format

Last Version: 0.10.0

Release Date:
net.automatalib

AutomataLib :: Serialization :: DOT

 net.automatalib : automata-serialization-dot

(De-)Serializers for the DOT Format

Last Version: 0.10.0

Release Date:
net.automatalib

AutomataLib :: Model Checking :: LTSmin

 net.automatalib : automata-modelchecking-ltsmin

LTSmin Model Checker

Last Version: 0.10.0

Release Date:
net.automatalib

AutomataLib :: Serialization :: AUT

 net.automatalib : automata-serialization-aut

(De-)Serializers for the AUT Format

Last Version: 0.10.0

Release Date:
net.automatalib

AutomataLib :: Visualization :: DOT Visualizer

 net.automatalib : automata-dot-visualizer

This artifact contains a visualization implementation for the GraphVIZ DOT (http://www.graphviz.org/) tool.

Last Version: 0.10.0

Release Date:
net.automatalib

AutomataLib :: Build Parent

 net.automatalib : automata-build-parent

A utility artifact, that defines certain plugin executions for the build process. May be used to define dependencies on the "build-tools" artifact without introducing cyclic dependencies with the general parent.

Last Version: 0.10.0

Release Date:
net.automatalib

AutomataLib :: Commons

 net.automatalib : automata-commons-parent

Common parent metaproject for various small Java libraries which are required by AutomataLib, but are not specific to AutomataLib itself (i.e., are not or only indirectly related to modeling automata and graphs).

Last Version: 0.10.0

Release Date:
net.automatalib

AutomataLib :: Adapters

 net.automatalib : automata-adapters-parent

Common parent metaproject for various adapters, i.e., wrapper class that allow to treat automaton or graph models from other software libraries as AutomataLib automata or graphs.

Last Version: 0.10.0

Release Date:
net.automatalib

AutomataLib :: Visualization

 net.automatalib : automata-visualization-parent

Automata and Graph visualization libraries.

Last Version: 0.10.0

Release Date:
net.automatalib

AutomataLib :: Serialization

 net.automatalib : automata-serialization-parent

Serialization parent metaproject for various (de-)serialization methods.

Last Version: 0.10.0

Release Date:
net.automatalib

AutomataLib :: Model Checking

 net.automatalib : automata-modelchecking-parent

AutomataLib model checking libraries.

Last Version: 0.10.0

Release Date:
net.automatalib

AutomataLib :: Build Tools

 net.automatalib : automata-build-tools

Tools and resources required for building AutomataLib

Last Version: 0.10.0

Release Date:

AutomataLib :: Commons :: DOT Utilities

 net.automatalib : automata-commons-dotutil

This utility artifact contains methods that facilitate interaction with the <a href="http://www.graphviz.org/">GraphVIZ DOT</a> tool, and allows to render and display DOT models directly from within the application.

Last Version: 0.6.0

Release Date:

AutomataLib :: Misc :: Misc. Algorithms

 net.automatalib : automata-misc-algorithms

This artifact contains several miscellaneous, well-known algorithms, which however are rather specific in their concrete use case and therefore not fit for the AutomataLib Utilities library. Examples include Dijkstra's algorithm for the SSSP problem, the Floyd-Warshall algorithm for the APSP problem and Tarjan's algorithm for finding all strongly-connected components in a graph.

Last Version: 0.6.0

Release Date:

AutomataLib :: Misc

 net.automatalib : automata-misc-parent

Common parent metaproject for various miscellaneous additions (algorithms, automaton types) to AutomataLib, which are rather specific in their respective use case.

Last Version: 0.6.0

Release Date:

AutomataLib :: Examples

 net.automatalib : automata-examples

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 Version: 0.3.1-ase2013-tutorial-r1

Release Date:

  • 1