MVN

de.learnlib : learnlib-reuse

Maven & Gradle

Oct 12, 2020
3 usages
147 stars

LearnLib :: Filters :: Reuse · Reuse Tree for (intelligently) caching membership queries

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

Latest Version

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

  • Latest Stable: 0.16.0

All Versions

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

Version Vulnerabilities Updated
0.16.x
learnlib-reuse-0.16.0
0.15.x
learnlib-reuse-0.15.0
0.14.x
learnlib-reuse-0.14.0
0.13.x
learnlib-reuse-0.13.1
learnlib-reuse-0.13.0
0.12.x
learnlib-reuse-0.12.0
0.11.x
learnlib-reuse-0.11.2
learnlib-reuse-0.11.1
0.10.x
learnlib-reuse-0.10.1
learnlib-reuse-0.10.0

How to add a dependency to Maven

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

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

How to add a dependency to Gradle

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

implementation 'de.learnlib:learnlib-reuse:0.16.0'

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

implementation("de.learnlib:learnlib-reuse:0.16.0")

How to add a dependency to SBT Scala

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

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

Mar 30, 2021
6 usages
1.1k stars
Mar 16, 2021
8 usages
14 stars
Nov 10, 2022
3 usages
94 stars
Apr 02, 2019
2 usages
14 stars
Jul 10, 2023
2 usages
2.6k stars
May 23, 2023
16 usages
Nov 23, 2022
1 usages
17 stars
Jul 03, 2023
3 usages
19 stars