mvncenter: net.automatalib:automata-serialization-aut:0.7.0

(De-)Serializers for the AUT Format

serializers format

Files download

File	Operation
automata-serialization-aut-0.7.0.jar	download
automata-serialization-aut-0.7.0.pom	download
automata-serialization-aut-0.7.0-sources.jar	download

Apache Maven

<dependency>
  <groupId>net.automatalib</groupId>
  <artifactId>automata-serialization-aut</artifactId>
  <version>0.7.0</version>
</dependency>

Gradle Groovy

implementation 'net.automatalib:automata-serialization-aut:0.7.0'

Gradle Kotlin

implementation("net.automatalib:automata-serialization-aut:0.7.0")

Scala SBT

libraryDependencies += "net.automatalib" % "automata-serialization-aut" % "0.7.0"

Groovy Grape

@Grapes(
  @Grab(group='net.automatalib', module='automata-serialization-aut', version='0.7.0')
)

Apache Ivy

<dependency org="net.automatalib" name="automata-serialization-aut" rev="0.7.0" />

Leiningen

[net.automatalib/automata-serialization-aut "0.7.0"]

Apache Buildr

'net.automatalib:automata-serialization-aut:jar:0.7.0'

Dependencies

<parent>
  <groupId>net.automatalib</groupId>
  <artifactId>automata-serialization-parent</artifactId>
  <version>0.7.0</version>
</parent>

compile

test