Download net.automatalib JAR files with all dependencies

automata-serialization-fsm from group net.automatalib (version 0.11.0)

Deserializers for the Finite State Machine format

Group: net.automatalib Artifact: automata-serialization-fsm
Show all versions Show documentation Show source

0 downloads

Artifact automata-serialization-fsm
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 7
Dependencies automata-api, automata-commons-util, automata-core, automata-serialization-core, guava, checker-qual, testng,
There are maybe transitive dependencies!

automata-serialization-etf from group net.automatalib (version 0.11.0)

Serializers for LTSmin's Enumerated Table Format

Group: net.automatalib Artifact: automata-serialization-etf
Show all versions Show documentation Show source

0 downloads

Artifact automata-serialization-etf
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 5
Dependencies automata-api, automata-commons-util, automata-serialization-core, guava, testng,
There are maybe transitive dependencies!

automata-incremental from group net.automatalib (version 0.11.0)

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

Group: net.automatalib Artifact: automata-incremental
Show all versions Show documentation Show source

0 downloads

Artifact automata-incremental
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 9
Dependencies automata-api, automata-commons-smartcollections, automata-commons-util, automata-core, automata-util, guava, checker-qual, cacio-tta, testng,
There are maybe transitive dependencies!

automata-brics from group net.automatalib (version 0.11.0)

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

Group: net.automatalib Artifact: automata-brics
Show all versions Show documentation Show source

0 downloads

Artifact automata-brics
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies automata-api, checker-qual, testng,
There are maybe transitive dependencies!

automata-adapters-parent from group net.automatalib (version 0.11.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
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact automata-adapters-parent
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

automata-util from group net.automatalib (version 0.11.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
Show all versions Show documentation Show source

1 downloads

Artifact automata-util
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 8
Dependencies automata-api, automata-commons-smartcollections, automata-commons-util, automata-core, guava, duzzt-processor, checker-qual, testng,
There are maybe transitive dependencies!

automata-serialization-dot from group net.automatalib (version 0.11.0)

(De-)Serializers for the DOT Format

Group: net.automatalib Artifact: automata-serialization-dot
Show all versions Show documentation Show source

0 downloads

Artifact automata-serialization-dot
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 7
Dependencies automata-api, automata-core, automata-commons-util, automata-serialization-core, guava, checker-qual, testng,
There are maybe transitive dependencies!

automata-serialization-core from group net.automatalib (version 0.11.0)

Generic automata serialization core

Group: net.automatalib Artifact: automata-serialization-core
Show all versions Show documentation Show source

0 downloads

Artifact automata-serialization-core
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies automata-api, automata-commons-util,
There are maybe transitive dependencies!

automata-serialization-parent from group net.automatalib (version 0.11.0)

Serialization parent meta project for various (de-)serialization methods.

Group: net.automatalib Artifact: automata-serialization-parent
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact automata-serialization-parent
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

automata-core from group net.automatalib (version 0.11.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 part of the automata-util artifact.

Group: net.automatalib Artifact: automata-core
Show all versions Show documentation Show source

0 downloads

Artifact automata-core
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 9
Dependencies automata-api, automata-commons-smartcollections, automata-commons-util, guava, slf4j-api, checker-qual, metainf-services, mockito-core, testng,
There are maybe transitive dependencies!

Page 2 from 4 (items total 31)