JarCasting
JarCasting JarCasting

LearnLib :: Distribution

An artifact that aggregates all other artifacts of LearnLib to produce an Uber-JAR that can be used in non-maven environments. Likewise, this single artifact may be used in maven-aware environments to declare a dependency on all LearnLib artifacts.

License

License
Categories

Categories

Distribution Build Tools
GroupId

GroupId

de.learnlib.distribution
ArtifactId

ArtifactId

learnlib-distribution
Last Version

Last Version

0.16.0
Release Date

Release Date
Type

Type

jar
Description

Description

LearnLib :: Distribution
An artifact that aggregates all other artifacts of LearnLib to produce an Uber-JAR that can be used in non-maven environments. Likewise, this single artifact may be used in maven-aware environments to declare a dependency on all LearnLib artifacts.

Download learnlib-distribution

Filename Size
learnlib-distribution-0.16.0.pom 22 KB
learnlib-distribution-0.16.0-sources.jar 605 KB
learnlib-distribution-0.16.0-javadoc.jar 3 MB
learnlib-distribution-0.16.0-dependencies-bundle.jar 5 MB
learnlib-distribution-0.16.0-bundle.jar 820 KB
Browse

How to add to project

<!-- https://jarcasting.com/artifacts/de.learnlib.distribution/learnlib-distribution/ -->
<dependency>
    <groupId>de.learnlib.distribution</groupId>
    <artifactId>learnlib-distribution</artifactId>
    <version>0.16.0</version>
</dependency>
// https://jarcasting.com/artifacts/de.learnlib.distribution/learnlib-distribution/
implementation 'de.learnlib.distribution:learnlib-distribution:0.16.0'
// https://jarcasting.com/artifacts/de.learnlib.distribution/learnlib-distribution/
implementation ("de.learnlib.distribution:learnlib-distribution:0.16.0")
'de.learnlib.distribution:learnlib-distribution:jar:0.16.0'
<dependency org="de.learnlib.distribution" name="learnlib-distribution" rev="0.16.0">
  <artifact name="learnlib-distribution" type="jar" />
</dependency>
@Grapes(
@Grab(group='de.learnlib.distribution', module='learnlib-distribution', version='0.16.0')
)
libraryDependencies += "de.learnlib.distribution" % "learnlib-distribution" % "0.16.0"
[de.learnlib.distribution/learnlib-distribution "0.16.0"]

Dependencies

compile (33)

Group / Artifact Type Version
de.learnlib : learnlib-adt jar 0.16.0
de.learnlib : learnlib-dhc jar 0.16.0
de.learnlib : learnlib-discrimination-tree jar 0.16.0
de.learnlib : learnlib-discrimination-tree-vpda jar 0.16.0
de.learnlib : learnlib-kearns-vazirani jar 0.16.0
de.learnlib : learnlib-lstar jar 0.16.0
de.learnlib : learnlib-nlstar jar 0.16.0
de.learnlib : learnlib-ttt jar 0.16.0
de.learnlib : learnlib-ttt-vpda jar 0.16.0
de.learnlib : learnlib-rpni jar 0.16.0
de.learnlib : learnlib-rpni-edsm jar 0.16.0
de.learnlib : learnlib-rpni-mdl jar 0.16.0
de.learnlib : learnlib-api jar 0.16.0
de.learnlib : learnlib-acex jar 0.16.0
de.learnlib : learnlib-counterexamples jar 0.16.0
de.learnlib : learnlib-settings jar 0.16.0
de.learnlib : learnlib-util jar 0.16.0
de.learnlib : learnlib-datastructure-dt jar 0.16.0
de.learnlib : learnlib-datastructure-list jar 0.16.0
de.learnlib : learnlib-datastructure-ot jar 0.16.0
de.learnlib : learnlib-datastructure-pta jar 0.16.0
de.learnlib : learnlib-drivers-basic jar 0.16.0
de.learnlib : learnlib-mapper jar 0.16.0
de.learnlib : learnlib-drivers-simulator jar 0.16.0
de.learnlib : learnlib-emptiness-oracles jar 0.16.0
de.learnlib : learnlib-equivalence-oracles jar 0.16.0
de.learnlib : learnlib-cache jar 0.16.0
de.learnlib : learnlib-reuse jar 0.16.0
de.learnlib : learnlib-statistics jar 0.16.0
de.learnlib : learnlib-membership-oracles jar 0.16.0
de.learnlib : learnlib-parallelism jar 0.16.0
de.learnlib : learnlib-property-oracles jar 0.16.0
net.automatalib.distribution : automata-distribution pom

Project Modules

There are no modules declared in this project.

LearnLib

Build Status Build Status Coverage Status Maven Central

LearnLib is a free, open source (Apache License, v2.0) Java library for automata learning algorithms.

About

LearnLib is mainly developed at the Dortmund University of Technology, Germany. Its original purpose is to provide a framework for research on automata learning algorithms as well as for their application in practice.

The public version is a re-implemented version of the former closed-source version of LearnLib. While certain features have been stripped for improved modularity, development has since then extended the features offered. Currently the following learning algorithms with respective target models are supported:

Algorithm (active) Target models Algorithm (passive) Models
ADT Mealy RPNI DFA Mealy
DHC Mealy RPNI (EDSM) DFA
Discrimination Tree DFA Mealy VPDA RPNI (MDL) DFA
Kearns & Vazirani DFA Mealy
L* (incl. variants) DFA Mealy
NL* NFA
TTT DFA Mealy VPDA

Additionally, LearnLib offers a variety of tools to ease the practical application of automata learning on real-world systems. This includes drivers and mappers for interfacing software systems with the LearnLib API as well as caches and parallelization for improving the overall performance of the learning setup. Also, more nuanced setups such as Black-Box-Checking (via LTSMin) or inferring partial machines are possible.

While we strive to deliver code at a high quality, please note that there exist parts of the library that still need thorough testing. Contributions -- whether it is in the form of new features, better documentation or tests -- are welcome.

Build Instructions

For simply using LearnLib you may use the Maven artifacts which are available in the Maven Central repository. It is also possible to download a bundled distribution artifact if you want to use LearnLib without Maven support. Note that LearnLib requires Java 8 or newer.

Building development versions

If you intend to use development versions of LearnLib, you can either use the deployed SNAPSHOT artifacts from the continuous integration server (see Using Development Versions), or build them yourself. Simply clone the development branch of the repository

git clone -b develop --single-branch https://github.com/LearnLib/learnlib.git

and run a single mvn clean install. This will build all the required maven artifacts and will install them in your local Maven repository so that you can reference them in other projects.

If you plan to use a development version of LearnLib in an environment where no Maven support is available, simply run mvn clean package -Pbundles. The respective JARs are then available under distribution/target/bundles.

Note: Development versions of LearnLib usually depend on development versions of AutomataLib. For building development versions of AutomataLib, see the corresponding documentation on the project's README.

Developing LearnLib

For developing the code base of LearnLib it is suggested to use one of the major Java IDEs which come with out-of-the-box Maven support.

  • For IntelliJ IDEA:

    1. Select File -> New -> Project from existing sources and select the folder containing the development checkout.
    2. Choose "Import Project from external model", select "Maven" and click Next.
    3. Configure the project to your liking but make sure to check "Import Maven projects automatically" and have "Generated sources folders" set to "Detect automatically".
    4. Click Next until the project is imported (no Maven profile needs to be selected).
    5. In order to have both development versions of AutomataLib and LearnLib available at once, continue to import AutomataLib as documented in the project's README, but choose File -> New -> Module from existing sources as the first step.

  • For Eclipse:

    1. Note: LearnLib uses annotation processing on several occasions throughout the build process. This is usually handled correctly by Maven, however, for Eclipse you need to install the m2e-apt-plugin and activate annotation processing afterwards (see the issue #32).
    2. Select File -> Import... and select "Existing Maven Projects".
    3. Select the folder containing the development checkout as the root directory and click Finish.
    4. In order to have both development versions of AutomataLib and LearnLib available at once, continue to import AutomataLib as documented in the project's README.

Documentation

Mailing Lists

Maintainers

de.learnlib.distribution

LearnLib

Versions

Version
0.16.0
0.15.0
0.14.0
0.13.1
0.13.0
0.12.0
0.11.2
0.11.1
0.10.1
0.10.0