LearnLib :: Algorithms :: ADT 0.16.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.

License	Apache License, Version 2.0
GroupId	de.learnlib
ArtifactId	learnlib-adt
Version	0.16.0
Type	jar
Description	LearnLib :: Algorithms :: ADT 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.

Download learnlib-adt 0.16.0

Filename	Size
learnlib-adt-0.16.0.pom
learnlib-adt-0.16.0.jar	78 KB
learnlib-adt-0.16.0-sources.jar	59 KB
learnlib-adt-0.16.0-javadoc.jar	315 KB

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

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

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

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

Dependencies

compile (8)

Group / Artifact	Type	Version
de.learnlib : learnlib-api	jar	0.16.0
de.learnlib : learnlib-counterexamples	jar	0.16.0
de.learnlib : learnlib-util	jar	0.16.0
net.automatalib : automata-api	jar
net.automatalib : automata-core	jar
net.automatalib : automata-util	jar
net.automatalib : automata-commons-util	jar
org.checkerframework : checker-qual	jar	3.7.0

provided (1)

Group / Artifact	Type	Version
com.github.misberner.buildergen : buildergen	jar	0.1

test (6)

Group / Artifact	Type	Version
de.learnlib : learnlib-drivers-simulator	jar	0.16.0
de.learnlib.testsupport : learnlib-learner-it-support	jar	0.16.0
de.learnlib.testsupport : learnlib-learning-examples	jar	0.16.0
de.learnlib : learnlib-membership-oracles	jar	0.16.0
net.automatalib : automata-serialization-dot	jar
org.testng : testng	jar	7.1.0

Project Modules

There are no modules declared in this project.