Last Version

AutomataLib :: Core 0.10.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.

License

License

Categories

Categories

Net Auto Application Layer Libs Code Generators
GroupId

GroupId

net.automatalib
ArtifactId

ArtifactId

automata-core
Version

Version

0.10.0
Type

Type

jar
Description

Description

AutomataLib :: 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.

Download automata-core 0.10.0


<!-- https://jarcasting.com/artifacts/net.automatalib/automata-core/ -->
<dependency>
    <groupId>net.automatalib</groupId>
    <artifactId>automata-core</artifactId>
    <version>0.10.0</version>
</dependency>
// https://jarcasting.com/artifacts/net.automatalib/automata-core/
implementation 'net.automatalib:automata-core:0.10.0'
// https://jarcasting.com/artifacts/net.automatalib/automata-core/
implementation ("net.automatalib:automata-core:0.10.0")
'net.automatalib:automata-core:jar:0.10.0'
<dependency org="net.automatalib" name="automata-core" rev="0.10.0">
  <artifact name="automata-core" type="jar" />
</dependency>
@Grapes(
@Grab(group='net.automatalib', module='automata-core', version='0.10.0')
)
libraryDependencies += "net.automatalib" % "automata-core" % "0.10.0"
[net.automatalib/automata-core "0.10.0"]

Dependencies

compile (6)

Group / Artifact Type Version
net.automatalib : automata-api jar 0.10.0
net.automatalib : automata-commons-smartcollections jar 0.10.0
net.automatalib : automata-commons-util jar 0.10.0
com.google.guava : guava jar 29.0-jre
org.slf4j : slf4j-api jar 1.7.30
org.checkerframework : checker-qual jar 3.7.0

provided (1)

Group / Artifact Type Version
org.kohsuke.metainf-services : metainf-services jar 1.8

test (2)

Group / Artifact Type Version
org.mockito : mockito-core jar 3.5.13
org.testng : testng jar 7.1.0

Project Modules

There are no modules declared in this project.