Download JAR files tagged by learnlib with all dependencies
learnlib-test-support from group de.learnlib.testsupport (version 0.17.0)
Support classes for easily writing unit tests for various components of LearnLib
Group: de.learnlib.testsupport Artifact: learnlib-test-support
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact learnlib-test-support
Group de.learnlib.testsupport
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 6
Dependencies learnlib-util, xstream, automata-api, automata-core, mockito-core, testng,
There are maybe transitive dependencies!
Group de.learnlib.testsupport
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 6
Dependencies learnlib-util, xstream, automata-api, automata-core, mockito-core, testng,
There are maybe transitive dependencies!
typical from group de.learnlib.archetypes (version 0.12.0)
Archetype for a typical LearnLib setup, including the most commonly used dependencies
Artifact typical
Group de.learnlib.archetypes
Version 0.12.0
Last update 04. June 2015
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group de.learnlib.archetypes
Version 0.12.0
Last update 04. June 2015
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
learnlib-distribution from group de.learnlib.distribution (version 0.17.0)
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.
Group: de.learnlib.distribution Artifact: learnlib-distribution
Show all versions Show documentation
Show all versions Show documentation
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact learnlib-distribution
Group de.learnlib.distribution
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 36
Dependencies learnlib-aaar, learnlib-adt, learnlib-dhc, learnlib-kearns-vazirani, learnlib-lstar, learnlib-nlstar, learnlib-observation-pack, learnlib-observation-pack-vpa, learnlib-oml, learnlib-procedural, learnlib-ttt, learnlib-ttt-vpa, learnlib-ostia, learnlib-rpni, learnlib-rpni-edsm, learnlib-rpni-mdl, learnlib-api, learnlib-counterexamples, learnlib-settings, learnlib-util, learnlib-datastructure-dt, learnlib-datastructure-list, learnlib-datastructure-ot, learnlib-datastructure-pta, learnlib-drivers-basic, learnlib-mapper, learnlib-drivers-simulator, learnlib-cache, learnlib-reuse, learnlib-statistics, learnlib-emptiness-oracles, learnlib-equivalence-oracles, learnlib-membership-oracles, learnlib-parallelism, learnlib-property-oracles, automata-distribution,
There are maybe transitive dependencies!
Group de.learnlib.distribution
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 36
Dependencies learnlib-aaar, learnlib-adt, learnlib-dhc, learnlib-kearns-vazirani, learnlib-lstar, learnlib-nlstar, learnlib-observation-pack, learnlib-observation-pack-vpa, learnlib-oml, learnlib-procedural, learnlib-ttt, learnlib-ttt-vpa, learnlib-ostia, learnlib-rpni, learnlib-rpni-edsm, learnlib-rpni-mdl, learnlib-api, learnlib-counterexamples, learnlib-settings, learnlib-util, learnlib-datastructure-dt, learnlib-datastructure-list, learnlib-datastructure-ot, learnlib-datastructure-pta, learnlib-drivers-basic, learnlib-mapper, learnlib-drivers-simulator, learnlib-cache, learnlib-reuse, learnlib-statistics, learnlib-emptiness-oracles, learnlib-equivalence-oracles, learnlib-membership-oracles, learnlib-parallelism, learnlib-property-oracles, automata-distribution,
There are maybe transitive dependencies!
automata-modelchecking-ltsmin from group net.automatalib (version 0.11.0)
This artifact provides the integration of the model checker "LTSmin" (https://ltsmin.utwente.nl/) as described
in the paper "Sound Black-Box Checking in the LearnLib" (https://dx.doi.org/10.1007/s11334-019-00342-6) by
Jeroen Meijer and Jaco van de Pol.
Note that this implementation requires a local installation of the LTSmin binaries (see
https://ltsmin.utwente.nl/) which are not explicitly included in this artifact due to packaging reasons.
Group: net.automatalib Artifact: automata-modelchecking-ltsmin
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact automata-modelchecking-ltsmin
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 11
Dependencies automata-api, automata-commons-util, automata-core, automata-serialization-etf, automata-serialization-fsm, automata-util, guava, slf4j-api, buildergen, checker-qual, testng,
There are maybe transitive dependencies!
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 11
Dependencies automata-api, automata-commons-util, automata-core, automata-serialization-etf, automata-serialization-fsm, automata-util, guava, slf4j-api, buildergen, checker-qual, testng,
There are maybe transitive dependencies!
Page 4 from 4 (items total 34)