Download automata-modelchecking-ltsmin JAR file with all dependencies
automata-adapters-parent from group net.automatalib (version 0.12.0)
Common parent meta-project for various adapters, i.e., wrapper class that allow to treat automaton or graph
models from other software libraries as AutomataLib automata or graphs.
Group: net.automatalib Artifact: automata-adapters-parent
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
automata-util from group net.automatalib (version 0.12.0)
This artifact provides various common utility operations for analyzing and manipulating
automata and graphs, such as traversal, minimization and copying.
automata-serialization-dot from group net.automatalib (version 0.12.0)
Serializers for the DOT Format
0 downloads
automata-serialization-parent from group net.automatalib (version 0.12.0)
Serialization parent meta project for various (de-)serialization methods.
Group: net.automatalib Artifact: automata-serialization-parent
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
automata-core from group net.automatalib (version 0.12.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.12.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.
automata-commons-smartcollections from group net.automatalib (version 0.12.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-commons-settings from group net.automatalib (version 0.12.0)
A collection of utility methods to parse AutomataLib specific settings.
0 downloads
automata-commons-util from group net.automatalib (version 0.12.0)
Basic utility library containing several useful classes (e.g., a Pair class) to ease
everyday programming.
automata-commons-parent from group net.automatalib (version 0.12.0)
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).
Group: net.automatalib Artifact: automata-commons-parent
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
automata-build-parent from group net.automatalib (version 0.12.0)
Group: net.automatalib Artifact: automata-build-parent
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
automata-parent from group net.automatalib (version 0.12.0)
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.
Group: net.automatalib Artifact: automata-parent
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
automata-serialization-core from group net.automatalib (version 0.11.0)
Generic automata serialization core
0 downloads
automata-build-tools from group net.automatalib (version 0.10.0)
Tools and resources required for building AutomataLib
Page 3 from 3 (items total 44)
© 2015 - 2025 Weber Informatics LLC | Privacy Policy