MVN

de.learnlib : learnlib-core

Maven & Gradle

Jun 04, 2015
20 usages
147 stars

LearnLib :: Core · Infrastructure and core functionalities of LearnLib

<dependency>
    <groupId>de.learnlib</groupId>
    <artifactId>learnlib-core</artifactId>
    <version>0.12.0</version>
</dependency>
Copy
pom.xml
Table Of Contents

Latest Version

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

  • Latest Stable: 0.12.0

All Versions

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

Version Vulnerabilities Updated
0.12.x
learnlib-core-0.12.0
0.11.x
learnlib-core-0.11.2
learnlib-core-0.11.1
0.10.x
learnlib-core-0.10.1
learnlib-core-0.10.0
0.9.x
learnlib-core-0.9.1-ase2013-tutorial-r1
learnlib-core-0.9.1
learnlib-core-0.9.1-ase2013-tutorial
learnlib-core-0.9.0

How to add a dependency to Maven

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

<dependency>
    <groupId>de.learnlib</groupId>
    <artifactId>learnlib-core</artifactId>
    <version>0.12.0</version>
</dependency>

How to add a dependency to Gradle

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

implementation 'de.learnlib:learnlib-core:0.12.0'

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

implementation("de.learnlib:learnlib-core:0.12.0")

How to add a dependency to SBT Scala

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

libraryDependencies += "de.learnlib" % "learnlib-core" % "0.12.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

May 07, 2014
70 usages
1.9k stars
Aug 25, 2023
67 usages
11.4k stars
Jan 30, 2020
10 usages
9 stars
Aug 27, 2014
15 usages
48 stars
May 25, 2021
35 usages
0 stars
Sep 12, 2018
17 usages
3.3k stars
Mar 28, 2019
71 usages
93 stars
Apr 26, 2022
40 usages
88 stars
Aug 07, 2023
35 usages
83 stars