License |
License |
---|---|
Categories |
CategoriesNet Auto Application Layer Libs Code Generators |
GroupId | GroupIdnet.automatalib |
ArtifactId | ArtifactIdautomata-api |
Version | Version0.10.0 |
Type | Typejar |
Description |
DescriptionAutomataLib :: API
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.
|
Filename | Size |
---|---|
automata-api-0.10.0.pom | |
automata-api-0.10.0.jar | 159 KB |
automata-api-0.10.0-sources.jar | 139 KB |
automata-api-0.10.0-javadoc.jar | 1 MB |
Browse |
<!-- https://jarcasting.com/artifacts/net.automatalib/automata-api/ -->
<dependency>
<groupId>net.automatalib</groupId>
<artifactId>automata-api</artifactId>
<version>0.10.0</version>
</dependency>
// https://jarcasting.com/artifacts/net.automatalib/automata-api/
implementation 'net.automatalib:automata-api:0.10.0'
// https://jarcasting.com/artifacts/net.automatalib/automata-api/
implementation ("net.automatalib:automata-api:0.10.0")
'net.automatalib:automata-api:jar:0.10.0'
<dependency org="net.automatalib" name="automata-api" rev="0.10.0">
<artifact name="automata-api" type="jar" />
</dependency>
@Grapes(
@Grab(group='net.automatalib', module='automata-api', version='0.10.0')
)
libraryDependencies += "net.automatalib" % "automata-api" % "0.10.0"
[net.automatalib/automata-api "0.10.0"]
Group / Artifact | Type | Version |
---|---|---|
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.checkerframework : checker-qual | jar | 3.7.0 |
Group / Artifact | Type | Version |
---|---|---|
org.kohsuke.metainf-services : metainf-services | jar | 1.8 |
Group / Artifact | Type | Version |
---|---|---|
org.testng : testng | jar | 7.1.0 |