Download automata JAR file with all dependencies
automata-serialization-learnlibv2 from group net.automatalib (version 0.6.0)
(De-)Serializers for the legacy LearnLibV2 format
2 downloads
automata-util from group net.automatalib (version 0.7.0)
This artifact provides various common utility operations for analyzing and manipulating
automata and graphs, such as traversal, minimization and copying.
Group: net.automatalib Artifact: automata-util
There is no JAR file uploaded. A download is not possible! Please choose another version.
1 downloads
automata-dot-visualizer from group net.automatalib (version 0.7.1)
This artifact contains a visualization implementation for the GraphVIZ DOT (http://www.graphviz.org/) tool.
Group: net.automatalib Artifact: automata-dot-visualizer
There is no JAR file uploaded. A download is not possible! Please choose another version.
1 downloads
automata-serialization-taf from group net.automatalib (version 0.5.2)
(De-)Serializers for the Textual Automaton Format
automata-examples from group net.automatalib (version 0.3.1-ase2013-tutorial-r1)
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.
automata-serialization-taf from group net.automatalib (version 0.6.0)
(De-)Serializers for the Textual Automaton Format
0 downloads
automata-serialization-saf from group net.automatalib (version 0.6.0)
(De-)Serializers for the Simple Automaton Format
0 downloads
automata-serialization-core from group net.automatalib (version 0.6.0)
Generic automata serialization core
0 downloads
automata-jung-visualizer from group net.automatalib (version 0.6.0)
Visualizer using the Java Utility for Networks and Graphs
automata-brics from group net.automatalib (version 0.6.0)
This artifact contains adapter classes for treating the Automaton objects from the
BRICS library (http://www.brics.dk/automaton) as AutomataLib models.
automata-util from group net.automatalib (version 0.6.0)
This artifact provides various common utility operations for analyzing and manipulating
automata and graphs, such as traversal, minimization and copying.
automata-commons-dotutil from group net.automatalib (version 0.6.0)
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.
automata-commons-smartcollections from group net.automatalib (version 0.6.0)
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.
0 downloads
automata-core from group net.automatalib (version 0.6.0)
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.
automata-api from group net.automatalib (version 0.6.0)
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.
Page 1 from 4 (items total 47)
© 2015 - 2025 Weber Informatics LLC | Privacy Policy