mvncenter: net.automatalib:automata-util:0.11.0

automata-util

This artifact provides various common utility operations for analyzing and manipulating automata and graphs, such as traversal, minimization and copying.

Files download

File	Operation
automata-util-0.11.0.jar	download
automata-util-0.11.0.pom	download
automata-util-0.11.0-sources.jar	download

Apache Maven

<dependency>
  <groupId>net.automatalib</groupId>
  <artifactId>automata-util</artifactId>
  <version>0.11.0</version>
</dependency>

Gradle Groovy

implementation 'net.automatalib:automata-util:0.11.0'

Gradle Kotlin

implementation("net.automatalib:automata-util:0.11.0")

Scala SBT

libraryDependencies += "net.automatalib" % "automata-util" % "0.11.0"

Groovy Grape

@Grapes(
  @Grab(group='net.automatalib', module='automata-util', version='0.11.0')
)

Apache Ivy

<dependency org="net.automatalib" name="automata-util" rev="0.11.0" />

Leiningen

[net.automatalib/automata-util "0.11.0"]

Apache Buildr

'net.automatalib:automata-util:jar:0.11.0'

Dependencies

<parent>
  <groupId>net.automatalib</groupId>
  <artifactId>automata-build-parent</artifactId>
  <version>0.11.0</version>
</parent>

compile

|-- net.automatalib:automata-api

|-- net.automatalib:automata-commons-smartcollections

|-- net.automatalib:automata-commons-util

|-- net.automatalib:automata-core

|-- com.google.guava:guava

|-- com.github.misberner.duzzt:duzzt-processor

|-- org.checkerframework:checker-qual

|-- org.testng:testng

provided

|-- javax.annotation:javax.annotation-api

test

|-- net.automatalib:automata-serialization-core

|-- net.automatalib:automata-serialization-dot