MVN

net.automatalib : automata-serialization-etf

Maven & Gradle

Oct 11, 2020
3 usages
64 stars

AutomataLib :: Serialization :: ETF · Serializers for LTSmin's Enumerated Table Format

<dependency>
    <groupId>net.automatalib</groupId>
    <artifactId>automata-serialization-etf</artifactId>
    <version>0.10.0</version>
</dependency>
Copy
pom.xml
Table Of Contents

Latest Version

Choose a version of net.automatalib : automata-serialization-etf to add to Maven or Gradle - Latest Versions:

  • Latest Stable: 0.10.0

All Versions

Choose a version of net.automatalib : automata-serialization-etf to add to Maven or Gradle - All Versions:

Version Vulnerabilities Updated
0.10.x
automata-serialization-etf-0.10.0
0.9.x
automata-serialization-etf-0.9.0
0.8.x
automata-serialization-etf-0.8.0

How to add a dependency to Maven

Add the following net.automatalib : automata-serialization-etf maven dependency to the pom.xml file with your favorite IDE (IntelliJ / Eclipse / Netbeans):

<dependency>
    <groupId>net.automatalib</groupId>
    <artifactId>automata-serialization-etf</artifactId>
    <version>0.10.0</version>
</dependency>

How to add a dependency to Gradle

Gradle Groovy DSL: Add the following net.automatalib : automata-serialization-etf gradle dependency to your build.gradle file:

implementation 'net.automatalib:automata-serialization-etf:0.10.0'

Gradle Kotlin DSL: Add the following net.automatalib : automata-serialization-etf gradle kotlin dependency to your build.gradle.kts file:

implementation("net.automatalib:automata-serialization-etf:0.10.0")

How to add a dependency to SBT Scala

SBT Scala: Add the following net.automatalib : automata-serialization-etf sbt scala dependency to your build.sbt file:

libraryDependencies += "net.automatalib" % "automata-serialization-etf" % "0.10.0"

Advertisement

Dependencies from Group

Oct 11, 2020
64 usages
64 stars
Oct 11, 2020
54 usages
64 stars
Oct 11, 2020
48 usages
64 stars
Oct 11, 2020
41 usages
64 stars
Oct 11, 2020
20 usages
64 stars

Discover Dependencies

Jun 29, 2020
2 usages
1 stars
Jan 27, 2022
5 usages
12 stars
Aug 23, 2023
6 usages
Nov 07, 2022
2 usages
2 stars
Jul 16, 2021
4 usages
0 stars
Apr 11, 2023
7 usages
794 stars
Jul 18, 2023
6 usages
3 stars