l

learnlib-lstar

A flexible, optimized version of Dana Angluin's L* algorithm. This module provides access to the original version of L*, extensions for Mealy machines, and variants with enhanced counterexample analysis (as proposed by e.g. Maler & Pnueli and Rivest & Schapire).
counterexample with module dana pnueli provides schapire maler analysis enhanced flexible access extensions rivest machines algorithm version optimized mealy original variants proposed angluin this
Files download
File Operation
learnlib-lstar-0.13.1.jar download
learnlib-lstar-0.13.1.pom download
learnlib-lstar-0.13.1-sources.jar download
Apache Maven 
<dependency>
  <groupId>de.learnlib</groupId>
  <artifactId>learnlib-lstar</artifactId>
  <version>0.13.1</version>
</dependency>
Gradle Groovy 
implementation 'de.learnlib:learnlib-lstar:0.13.1'
Gradle Kotlin 
implementation("de.learnlib:learnlib-lstar:0.13.1")
Scala SBT 
libraryDependencies += "de.learnlib" % "learnlib-lstar" % "0.13.1"
Groovy Grape 
@Grapes(
  @Grab(group='de.learnlib', module='learnlib-lstar', version='0.13.1')
)
Apache Ivy 
<dependency org="de.learnlib" name="learnlib-lstar" rev="0.13.1" />
Leiningen 
[de.learnlib/learnlib-lstar "0.13.1"]
Apache Buildr 
'de.learnlib:learnlib-lstar:jar:0.13.1'
Dependencies 
<parent>
  <groupId>de.learnlib</groupId>
  <artifactId>learnlib-algorithms-active-parent</artifactId>
  <version>0.13.1</version>
</parent>

compile

|-- de.learnlib:learnlib-api

|-- de.learnlib:learnlib-datastructure-ot

|-- de.learnlib:learnlib-counterexamples

|-- de.learnlib:learnlib-util

|-- net.automatalib:automata-api

|-- net.automatalib:automata-core

|-- net.automatalib:automata-commons-util

|-- net.automatalib:automata-util

|-- com.github.misberner.buildergen:buildergen

|-- org.testng:testng

|-- de.learnlib.testsupport:learnlib-learning-examples

|-- de.learnlib.testsupport:learnlib-learner-it-support

test

|-- de.learnlib:learnlib-equivalence-oracles

|-- de.learnlib:learnlib-membership-oracles