Download JAR files tagged by automatalib with all dependencies

automata-build-tools from group net.automatalib.tooling (version 0.11.0)

Tools and resources required for building AutomataLib

Group: net.automatalib.tooling Artifact: automata-build-tools
Show source

0 downloads

Artifact automata-build-tools
Group net.automatalib.tooling
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-build-tools from group net.automatalib (version 0.10.0)

Tools and resources required for building AutomataLib

Group: net.automatalib Artifact: automata-build-tools
Show all versions Show source

0 downloads

Artifact automata-build-tools
Group net.automatalib
Version 0.10.0
Last update 11. October 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

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

Parent metaproject for archetypes that facilitate getting started with AutomataLib.

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

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

0 downloads

Artifact automata-archetypes-parent
Group net.automatalib.archetypes
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!

typical from group net.automatalib.archetypes (version 0.6.0)

Group: net.automatalib.archetypes Artifact: typical
Show all versions Show source

0 downloads

Artifact typical
Group net.automatalib.archetypes
Version 0.6.0
Last update 04. June 2015
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

core from group net.automatalib.archetypes (version 0.6.0)

Group: net.automatalib.archetypes Artifact: core
Show all versions Show source

0 downloads

Artifact core
Group net.automatalib.archetypes
Version 0.6.0
Last update 04. June 2015
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

complete from group net.automatalib.archetypes (version 0.11.0)

The complete archetype, which provides preconfigured dependencies on all artifacts of AutomataLib.

Group: net.automatalib.archetypes Artifact: complete
Show all versions Show source

0 downloads

Artifact complete
Group net.automatalib.archetypes
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!

basic from group net.automatalib.archetypes (version 0.11.0)

The basic archetype, which provides preconfigured dependencies for the basic usage of AutomataLib.

Group: net.automatalib.archetypes Artifact: basic
Show all versions Show source

0 downloads

Artifact basic
Group net.automatalib.archetypes
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-distribution from group net.automatalib.distribution (version 0.11.0)

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.

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

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

0 downloads

Artifact automata-distribution
Group net.automatalib.distribution
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 19
Dependencies automata-brics, automata-api, automata-commons-smartcollections, automata-commons-util, automata-core, automata-incremental, automata-modelchecking-ltsmin, automata-modelchecking-m3c, automata-serialization-aut, automata-serialization-core, automata-serialization-dot, automata-serialization-etf, automata-serialization-fsm, automata-serialization-learnlibv2, automata-serialization-saf, automata-serialization-taf, automata-util, automata-dot-visualizer, automata-jung-visualizer,
There are maybe transitive dependencies!

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

Meta-module for various model checkers that can be used with automata and graph models from AutomataLib.

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

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

0 downloads

Artifact automata-modelchecking-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-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!

Page 1 from 2 (items total 17)