LearnLib :: Algorithms :: DHC - Project Dependencies

Project Dependencies

compile

The following is a list of compile dependencies for this project. These dependencies are required to compile and run the application:

GroupId	ArtifactId	Version	Type	License
de.learnlib	learnlib-core	0.9.1-ase2013-tutorial	jar	GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007
de.learnlib	learnlib-counterexamples	0.9.1-ase2013-tutorial	jar	GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007
net.automatalib	automata-api	0.3.1-ase2013-tutorial	jar	GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007
net.automatalib	automata-core	0.3.1-ase2013-tutorial	jar	GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007
net.automatalib	automata-util	0.3.1-ase2013-tutorial	jar	GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007

test

The following is a list of test dependencies for this project. These dependencies are only required to compile and run unit tests for the application:

GroupId	ArtifactId	Version	Type	License
de.learnlib	learnlib-basic-eqtests	0.9.1-ase2013-tutorial	jar	GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007
de.learnlib	learnlib-cache	0.9.1-ase2013-tutorial	jar	GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007
de.learnlib	learnlib-simulator	0.9.1-ase2013-tutorial	jar	GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007
de.learnlib	learnlib-test-support	0.9.1-ase2013-tutorial	jar	GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007
org.testng	testng	6.8	jar	Apache License, Version 2.0

Project Transitive Dependencies

The following is a list of transitive dependencies for this project. Transitive dependencies are the dependencies of the project dependencies.

compile

The following is a list of compile dependencies for this project. These dependencies are required to compile and run the application:

GroupId	ArtifactId	Version	Type	License
com.google.guava	guava	15.0	jar	The Apache Software License, Version 2.0
net.automatalib	automata-commons-smartcollections	0.3.1-ase2013-tutorial	jar	GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007
net.automatalib	automata-commons-util	0.3.1-ase2013-tutorial	jar	GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007

test

The following is a list of test dependencies for this project. These dependencies are only required to compile and run unit tests for the application:

GroupId	ArtifactId	Version	Type	License
com.beust	jcommander	1.27	jar	The Apache Software License, Version 2.0
junit	junit	4.10	jar	Common Public License Version 1.0
net.automatalib	automata-commons-dotutil	0.3.1-ase2013-tutorial	jar	GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007
net.automatalib	automata-incremental	0.3.1-ase2013-tutorial	jar	GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007
org.beanshell	bsh	2.0b4	jar	GNU LESSER GENERAL PUBLIC LICENSE
org.hamcrest	hamcrest-core	1.1	jar	BSD style
org.yaml	snakeyaml	1.6	jar	LICENSE.txt

Project Dependency Graph

Dependency Tree

de.learnlib:learnlib-dhc:jar:0.9.1-ase2013-tutorial Information

LearnLib :: Algorithms :: DHC
Description: The Direct Hypothesis Construction algorithm for active learning of Mealy machines URL: http://learnlib.github.io/learnlib/maven-site/learnlib-algorithms/learnlib-dhc/ Project License: GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007

de.learnlib:learnlib-core:jar:0.9.1-ase2013-tutorial (compile) Information

LearnLib :: Core
Description: Infrastructure and core functionalities of LearnLib URL: http://learnlib.github.io/learnlib/maven-site/learnlib-core/ Project License: GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007

net.automatalib:automata-api:jar:0.3.1-ase2013-tutorial (compile) Information

AutomataLib :: API
Description: This artifact contains the API of AutomataLib, which mainly consists of interfaces for the various concepts and automaton models supported by the AutomataLib core. In addition to that, it also defines some fundamental classes for dealing with words of symbols. URL: http://misberner.github.io/automatalib/maven-site/automata-api/ Project License: GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007

net.automatalib:automata-commons-util:jar:0.3.1-ase2013-tutorial (compile) Information

AutomataLib :: Commons :: Utilities
Description: Basic utility library containing several useful classes (e.g., a Pair class) to ease everyday programming. URL: http://misberner.github.io/automatalib/maven-site/automata-commons-parent/automata-commons-util/ Project License: GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007

com.google.guava:guava:jar:15.0 (compile) Information

Guava: Google Core Libraries for Java
Description: Guava is a suite of core and expanded libraries that include utility classes, google's collections, io classes, and much much more. Guava has two code dependencies - javax.annotation per the JSR-305 spec and javax.inject per the JSR-330 spec. URL: http://code.google.com/p/guava-libraries/guava Project License: The Apache Software License, Version 2.0

net.automatalib:automata-core:jar:0.3.1-ase2013-tutorial (compile) Information

AutomataLib :: Core
Description: The core artifact of AutomataLib. This library contains concrete implementations for many of the automaton model interfaces defined in the API artifact, as well as abstract base classes that facilitate implementing new automaton model classes. Note that concrete algorithms (traversal, reachability analysis etc.) are not in the scope of this artifact. URL: http://misberner.github.io/automatalib/maven-site/automata-core/ Project License: GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007

net.automatalib:automata-util:jar:0.3.1-ase2013-tutorial (compile) Information

AutomataLib :: Utilities
Description: This artifact provides various common utility operations for analyzing and manipulating automata and graphs, such as traversal, minimization and copying. URL: http://misberner.github.io/automatalib/maven-site/automata-util/ Project License: GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007

net.automatalib:automata-commons-smartcollections:jar:0.3.1-ase2013-tutorial (compile) Information

AutomataLib :: Commons :: Smart Collections
Description: This library provides efficient implementations for various collection data structures (esp. linked lists and priority queues), which have very insufficient implementation in the Java Collections Foundations that makes it hard or even impossible to exploit their efficiencies. URL: http://misberner.github.io/automatalib/maven-site/automata-commons-parent/automata-commons-smartcollections/ Project License: GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007

org.testng:testng:jar:6.8 (test) Information

TestNG
Description: TestNG is a testing framework. URL: http://testng.org Project License: Apache License, Version 2.0

junit:junit:jar:4.10 (test) Information

JUnit
Description: JUnit is a regression testing framework written by Erich Gamma and Kent Beck. It is used by the developer who implements unit tests in Java. URL: http://junit.org Project License: Common Public License Version 1.0

org.hamcrest:hamcrest-core:jar:1.1 (test)

Hamcrest Core

Description: There is currently no description associated with this project.

Project License: BSD style

org.beanshell:bsh:jar:2.0b4 (test)

BeanShell

Description: BeanShell

Project License: GNU LESSER GENERAL PUBLIC LICENSE
com.beust:jcommander:jar:1.27 (test)

JCommander

Description: A Java framework to parse command line options with annotations.

URL: http://beust.com/jcommander

Project License: The Apache Software License, Version 2.0
org.yaml:snakeyaml:jar:1.6 (test)

SnakeYAML

Description: YAML 1.1 parser and emitter for Java

URL: http://code.google.com/p/snakeyaml/

Project License: Apache License Version 2.0

Hamcrest Core
Description: There is currently no description associated with this project. Project License: BSD style

BeanShell
Description: BeanShell Project License: GNU LESSER GENERAL PUBLIC LICENSE

JCommander
Description: A Java framework to parse command line options with annotations. URL: http://beust.com/jcommander Project License: The Apache Software License, Version 2.0

SnakeYAML
Description: YAML 1.1 parser and emitter for Java URL: http://code.google.com/p/snakeyaml/ Project License: Apache License Version 2.0

de.learnlib:learnlib-test-support:jar:0.9.1-ase2013-tutorial (test) Information

LearnLib :: Test Support
Description: Functionality to ease writing test cases for LearnLib URL: http://learnlib.github.io/learnlib/maven-site/learnlib-test-support/ Project License: GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007

net.automatalib:automata-commons-dotutil:jar:0.3.1-ase2013-tutorial (test) Information

AutomataLib :: Commons :: DOT Utilities
Description: This utility artifact contains methods that facilitate interaction with the <a href="http://www.graphviz.org/">GraphVIZ DOT</a> tool, and allows to render and display DOT models directly from within the application. URL: http://misberner.github.io/automatalib/maven-site/automata-commons-parent/automata-commons-dotutil/ Project License: GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007

de.learnlib:learnlib-basic-eqtests:jar:0.9.1-ase2013-tutorial (test) Information

LearnLib :: Equivalence Tests :: Basic Tests
Description: A collection of basic algorithm for approximating equivalence queries URL: http://learnlib.github.io/learnlib/maven-site/learnlib-eqtests/learnlib-basic-eqtests/ Project License: GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007

de.learnlib:learnlib-simulator:jar:0.9.1-ase2013-tutorial (test) Information

LearnLib :: Simulator
Description: Membership and equivalence oracles using an automaton model as backend URL: http://learnlib.github.io/learnlib/maven-site/learnlib-simulator/ Project License: GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007

de.learnlib:learnlib-cache:jar:0.9.1-ase2013-tutorial (test) Information

LearnLib :: Filters :: Cache
Description: Cache filter to avoid posing duplicate membership queries URL: http://learnlib.github.io/learnlib/maven-site/learnlib-filters/learnlib-cache/ Project License: GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007

net.automatalib:automata-incremental:jar:0.3.1-ase2013-tutorial (test) Information

AutomataLib :: Misc :: Incremental
Description: A library for incremental automata construction. This artifact contains algorithms for incrementally constructing DFAs (both prefix-closed and non-prefix-closed) and Mealy machines from a finite, incrementally growing set of example inputs/outputs. URL: http://misberner.github.io/automatalib/maven-site/automata-misc-parent/automata-incremental/ Project License: GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007

de.learnlib:learnlib-counterexamples:jar:0.9.1-ase2013-tutorial (compile) Information

LearnLib :: Utilities :: Counterexamples
Description: A collection of standard algorithms for handling counterexamples in automata learning URL: http://learnlib.github.io/learnlib/maven-site/learnlib-utils/learnlib-counterexamples/ Project License: GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007

Licenses

BSD style: Hamcrest Core

GNU LESSER GENERAL PUBLIC LICENSE: BeanShell

GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007: AutomataLib :: API, AutomataLib :: Commons :: DOT Utilities, AutomataLib :: Commons :: Smart Collections, AutomataLib :: Commons :: Utilities, AutomataLib :: Core, AutomataLib :: Misc :: Incremental, AutomataLib :: Utilities, LearnLib :: Algorithms :: DHC, LearnLib :: Core, LearnLib :: Equivalence Tests :: Basic Tests, LearnLib :: Filters :: Cache, LearnLib :: Simulator, LearnLib :: Test Support, LearnLib :: Utilities :: Counterexamples

Apache License, Version 2.0: TestNG

Common Public License Version 1.0: JUnit

The Apache Software License, Version 2.0: Guava: Google Core Libraries for Java, JCommander

Apache License Version 2.0: SnakeYAML

Dependency File Details

Filename	Size	Entries	Classes	Packages	JDK Rev	Debug
jcommander-1.27.jar	54.28 kB	59	45	5	1.5	debug
guava-15.0.jar	2.07 MB	1,650	1,622	16	1.6	debug
learnlib-basic-eqtests-0.9.1-ase2013-tutorial.jar	25.93 kB	31	19	2	1.6	debug
learnlib-cache-0.9.1-ase2013-tutorial.jar	15.80 kB	22	9	4	1.6	debug
learnlib-core-0.9.1-ase2013-tutorial.jar	44.87 kB	69	53	7	1.6	debug
learnlib-counterexamples-0.9.1-ase2013-tutorial.jar	12.47 kB	20	10	1	1.6	debug
learnlib-simulator-0.9.1-ase2013-tutorial.jar	4.31 kB	13	3	1	1.6	debug
learnlib-test-support-0.9.1-ase2013-tutorial.jar	15.70 kB	26	14	2	1.6	debug
junit-4.10.jar	247.23 kB	290	252	31	1.5	debug
automata-api-0.3.1-ase2013-tutorial.jar	49.45 kB	99	78	12	1.6	debug
automata-commons-dotutil-0.3.1-ase2013-tutorial.jar	24.11 kB	29	18	1	1.6	debug
automata-commons-smartcollections-0.3.1-ase2013-tutorial.jar	36.57 kB	43	32	1	1.6	debug
automata-commons-util-0.3.1-ase2013-tutorial.jar	78.61 kB	97	77	10	1.6	debug
automata-core-0.3.1-ase2013-tutorial.jar	122.92 kB	126	88	21	1.6	debug
automata-incremental-0.3.1-ase2013-tutorial.jar	38.50 kB	31	19	3	1.6	debug
automata-util-0.3.1-ase2013-tutorial.jar	145.55 kB	144	117	17	1.6	debug
bsh-2.0b4.jar	275.09 kB	238	158	8	1.2	release
hamcrest-core-1.1.jar	74.85 kB	54	21	3	1.5	debug
testng-6.8.jar	794.33 kB	584	535	26	1.5	debug
snakeyaml-1.6.jar	226.68 kB	208	183	16	1.5	debug
Total	Size	Entries	Classes	Packages	JDK Rev	Debug
20	4.31 MB	3,833	3,353	187	1.6	19
compile: 8	compile: 2.55 MB	compile: 2,248	compile: 2,077	compile: 85	-	compile: 8
test: 12	test: 1.75 MB	test: 1,585	test: 1,276	test: 102	-	test: 11

Dependency Repository Locations

Repo ID	URL	Release	Snapshot
sonatype-nexus-snapshots	https://oss.sonatype.org/content/repositories/snapshots	-	Yes
central	http://repo.maven.apache.org/maven2	Yes	-

Repository locations for each of the Dependencies.

Artifact	sonatype-nexus-snapshots	central
com.beust:jcommander:jar:1.27	-
com.google.guava:guava:jar:15.0	-
de.learnlib:learnlib-basic-eqtests:jar:0.9.1-ase2013-tutorial	-
de.learnlib:learnlib-cache:jar:0.9.1-ase2013-tutorial	-
de.learnlib:learnlib-core:jar:0.9.1-ase2013-tutorial	-
de.learnlib:learnlib-counterexamples:jar:0.9.1-ase2013-tutorial	-
de.learnlib:learnlib-simulator:jar:0.9.1-ase2013-tutorial	-
de.learnlib:learnlib-test-support:jar:0.9.1-ase2013-tutorial	-
junit:junit:jar:4.10	-
net.automatalib:automata-api:jar:0.3.1-ase2013-tutorial	-
net.automatalib:automata-commons-dotutil:jar:0.3.1-ase2013-tutorial	-
net.automatalib:automata-commons-smartcollections:jar:0.3.1-ase2013-tutorial	-
net.automatalib:automata-commons-util:jar:0.3.1-ase2013-tutorial	-
net.automatalib:automata-core:jar:0.3.1-ase2013-tutorial	-
net.automatalib:automata-incremental:jar:0.3.1-ase2013-tutorial	-
net.automatalib:automata-util:jar:0.3.1-ase2013-tutorial	-
org.beanshell:bsh:jar:2.0b4	-
org.hamcrest:hamcrest-core:jar:1.1	-
org.testng:testng:jar:6.8	-
org.yaml:snakeyaml:jar:1.6	-
Total	sonatype-nexus-snapshots	central
20 (compile: 8, test: 12)	0	20

Parent Project

Project Documentation

Project Dependencies

compile

test

Project Transitive Dependencies

compile

test

Project Dependency Graph

Dependency Tree

Licenses

Dependency File Details

Dependency Repository Locations