MVN

de.learnlib : learnlib-drivers-simulator

Maven & Gradle

Oct 12, 2020
8 usages

LearnLib :: Drivers :: Simulator · Utilities for simulating SULs

<dependency>
    <groupId>de.learnlib</groupId>
    <artifactId>learnlib-drivers-simulator</artifactId>
    <version>0.16.0</version>
</dependency>
Copy
pom.xml
Table Of Contents

Latest Version

Choose a version of de.learnlib : learnlib-drivers-simulator to add to Maven or Gradle - Latest Versions:

  • Latest Stable: 0.16.0

All Versions

Choose a version of de.learnlib : learnlib-drivers-simulator to add to Maven or Gradle - All Versions:

Version Vulnerabilities Updated
0.16.x
learnlib-drivers-simulator-0.16.0
0.15.x
learnlib-drivers-simulator-0.15.0
0.14.x
learnlib-drivers-simulator-0.14.0
0.13.x
learnlib-drivers-simulator-0.13.1
learnlib-drivers-simulator-0.13.0

How to add a dependency to Maven

Add the following de.learnlib : learnlib-drivers-simulator maven dependency to the pom.xml file with your favorite IDE (IntelliJ / Eclipse / Netbeans):

<dependency>
    <groupId>de.learnlib</groupId>
    <artifactId>learnlib-drivers-simulator</artifactId>
    <version>0.16.0</version>
</dependency>

How to add a dependency to Gradle

Gradle Groovy DSL: Add the following de.learnlib : learnlib-drivers-simulator gradle dependency to your build.gradle file:

implementation 'de.learnlib:learnlib-drivers-simulator:0.16.0'

Gradle Kotlin DSL: Add the following de.learnlib : learnlib-drivers-simulator gradle kotlin dependency to your build.gradle.kts file:

implementation("de.learnlib:learnlib-drivers-simulator:0.16.0")

How to add a dependency to SBT Scala

SBT Scala: Add the following de.learnlib : learnlib-drivers-simulator sbt scala dependency to your build.sbt file:

libraryDependencies += "de.learnlib" % "learnlib-drivers-simulator" % "0.16.0"

Advertisement

Dependencies from Group

Oct 12, 2020
28 usages
147 stars
Jun 04, 2015
20 usages
147 stars
Oct 12, 2020
15 usages
Oct 12, 2020
14 usages
147 stars
Jun 04, 2015
12 usages
147 stars

Discover Dependencies

Jul 09, 2018
7 usages
632 stars
Jul 09, 2018
7 usages
632 stars
Jul 10, 2018
7 usages
734 stars
Feb 16, 2018
7 usages
436 stars
Mar 29, 2023
8 usages
481 stars
Feb 19, 2018
8 usages
17 stars
Jun 15, 2023
9 usages
48.5k stars
Jun 03, 2019
11 usages
337 stars
Oct 22, 2019
7 usages
10 stars
Nov 10, 2018
7 usages
10 stars