de.learnlib:learnlib-adt 0.13.0

The ADT Algorithm. Uses adaptive distinguishing trees (a generalization of adaptive distinguishing sequences) to separate hypothesis states and focuses on minimizing the amount of resets during the learning process.

GroupId	de.learnlib
ArtifactId	learnlib-adt
Version	0.13.0
Type	jar

Download learnlib-adt 0.13.0

Filename	Size
learnlib-adt-0.13.0.pom
learnlib-adt-0.13.0.jar	78 KB
learnlib-adt-0.13.0-sources.jar	59 KB
learnlib-adt-0.13.0-javadoc.jar	303 KB

Apache Maven

<!-- https://jarcasting.com/artifacts/de.learnlib/learnlib-adt/ -->
<dependency>
    <groupId>de.learnlib</groupId>
    <artifactId>learnlib-adt</artifactId>
    <version>0.13.0</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/de.learnlib/learnlib-adt/
implementation 'de.learnlib:learnlib-adt:0.13.0'

Gradle Kotlin

// https://jarcasting.com/artifacts/de.learnlib/learnlib-adt/
implementation ("de.learnlib:learnlib-adt:0.13.0")

Apache Buildr

'de.learnlib:learnlib-adt:jar:0.13.0'

Apache Ivy

<dependency org="de.learnlib" name="learnlib-adt" rev="0.13.0">
  <artifact name="learnlib-adt" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='de.learnlib', module='learnlib-adt', version='0.13.0')
)

Scala SBT

libraryDependencies += "de.learnlib" % "learnlib-adt" % "0.13.0"

Leiningen

[de.learnlib/learnlib-adt "0.13.0"]