Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / prpr2770 / learnlib
A free, open-source Java library for automata learning algorithms
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/prpr2770%2Flearnlib
Fork of LearnLib/learnlib
Stars: 0
Forks: 0
Open Issues: 0
License: apache-2.0
Language:
Repo Size: 25.7 MB
Dependencies:
543
Created: over 2 years ago
Updated: over 2 years ago
Last pushed: over 2 years ago
Last synced: about 1 month ago
Files
Loading...
Readme
Loading...
Dependencies
.github/workflows/ci.yml
actions
- actions/cache v2 composite
- actions/checkout v2 composite
- actions/setup-java v1 composite
- com.github.misberner.buildergen:buildergen
- com.google.guava:guava
- de.learnlib.testsupport:learnlib-learner-it-support
- de.learnlib.testsupport:learnlib-learning-examples
- de.learnlib:learnlib-api
- de.learnlib:learnlib-counterexamples
- de.learnlib:learnlib-util
- net.automatalib:automata-api
- net.automatalib:automata-commons-smartcollections
- net.automatalib:automata-commons-util
- net.automatalib:automata-core
- net.automatalib:automata-util
- org.checkerframework:checker-qual
- org.slf4j:slf4j-api
- org.testng:testng
- de.learnlib:learnlib-drivers-simulator test
- de.learnlib:learnlib-membership-oracles test
- net.automatalib:automata-serialization-dot test
- com.github.misberner.buildergen:buildergen
- com.google.guava:guava
- de.learnlib.testsupport:learnlib-learner-it-support
- de.learnlib.testsupport:learnlib-learning-examples
- de.learnlib:learnlib-api
- de.learnlib:learnlib-counterexamples
- net.automatalib:automata-api
- net.automatalib:automata-commons-util
- net.automatalib:automata-core
- net.automatalib:automata-util
- org.checkerframework:checker-qual
- org.slf4j:slf4j-api
- org.testng:testng
- de.learnlib:learnlib-equivalence-oracles test
- de.learnlib:learnlib-membership-oracles test
- com.github.misberner.buildergen:buildergen
- de.learnlib.testsupport:learnlib-learner-it-support
- de.learnlib.testsupport:learnlib-learning-examples
- de.learnlib:learnlib-api
- de.learnlib:learnlib-counterexamples
- de.learnlib:learnlib-datastructure-dt
- de.learnlib:learnlib-util
- net.automatalib:automata-api
- net.automatalib:automata-commons-smartcollections
- net.automatalib:automata-core
- org.checkerframework:checker-qual
- org.testng:testng
- de.learnlib:learnlib-equivalence-oracles test
- de.learnlib:learnlib-membership-oracles test
- net.automatalib:automata-serialization-dot test
- com.github.misberner.buildergen:buildergen
- com.google.guava:guava
- de.learnlib.testsupport:learnlib-learner-it-support
- de.learnlib:learnlib-acex
- de.learnlib:learnlib-api
- de.learnlib:learnlib-datastructure-dt
- de.learnlib:learnlib-datastructure-list
- net.automatalib:automata-api
- net.automatalib:automata-commons-smartcollections
- net.automatalib:automata-core
- org.checkerframework:checker-qual
- org.testng:testng
- com.github.misberner.buildergen:buildergen
- de.learnlib.testsupport:learnlib-learner-it-support
- de.learnlib:learnlib-acex
- de.learnlib:learnlib-api
- de.learnlib:learnlib-datastructure-dt
- de.learnlib:learnlib-util
- net.automatalib:automata-api
- net.automatalib:automata-commons-smartcollections
- net.automatalib:automata-core
- org.checkerframework:checker-qual
- org.slf4j:slf4j-api
- org.testng:testng
- com.github.misberner.buildergen:buildergen
- de.learnlib.testsupport:learnlib-learner-it-support
- de.learnlib.testsupport:learnlib-learning-examples
- de.learnlib:learnlib-api
- de.learnlib:learnlib-counterexamples
- de.learnlib:learnlib-datastructure-ot
- de.learnlib:learnlib-util
- net.automatalib:automata-api
- net.automatalib:automata-commons-util
- net.automatalib:automata-core
- net.automatalib:automata-util
- org.checkerframework:checker-qual
- org.slf4j:slf4j-api
- org.testng:testng
- de.learnlib:learnlib-drivers-simulator test
- de.learnlib:learnlib-equivalence-oracles test
- de.learnlib:learnlib-membership-oracles test
- com.github.misberner.buildergen:buildergen
- de.learnlib.testsupport:learnlib-learner-it-support
- de.learnlib:learnlib-api
- de.learnlib:learnlib-util
- net.automatalib:automata-api
- net.automatalib:automata-core
- net.automatalib:automata-util
- org.checkerframework:checker-qual
- org.testng:testng
- de.learnlib:learnlib-equivalence-oracles test
- de.learnlib:learnlib-membership-oracles test
- com.github.misberner.buildergen:buildergen
- com.google.guava:guava
- de.learnlib.testsupport:learnlib-learner-it-support
- de.learnlib.testsupport:learnlib-learning-examples
- de.learnlib:learnlib-acex
- de.learnlib:learnlib-api
- de.learnlib:learnlib-counterexamples
- de.learnlib:learnlib-datastructure-ot
- de.learnlib:learnlib-discrimination-tree
- de.learnlib:learnlib-kearns-vazirani
- de.learnlib:learnlib-lstar
- de.learnlib:learnlib-ttt
- de.learnlib:learnlib-util
- net.automatalib:automata-api
- net.automatalib:automata-core
- net.automatalib:automata-util
- org.testng:testng
- de.learnlib:learnlib-drivers-simulator test
- de.learnlib:learnlib-membership-oracles test
- net.automatalib:automata-serialization-dot test
- com.github.misberner.buildergen:buildergen
- com.google.guava:guava
- de.learnlib.testsupport:learnlib-learner-it-support
- de.learnlib.testsupport:learnlib-learning-examples
- de.learnlib:learnlib-acex
- de.learnlib:learnlib-api
- de.learnlib:learnlib-counterexamples
- de.learnlib:learnlib-datastructure-dt
- de.learnlib:learnlib-datastructure-list
- de.learnlib:learnlib-membership-oracles
- de.learnlib:learnlib-util
- net.automatalib:automata-api
- net.automatalib:automata-commons-smartcollections
- net.automatalib:automata-core
- org.slf4j:slf4j-api
- org.testng:testng
- net.automatalib:automata-serialization-dot test
- com.github.misberner.buildergen:buildergen
- com.google.guava:guava
- de.learnlib.testsupport:learnlib-learner-it-support
- de.learnlib:learnlib-acex
- de.learnlib:learnlib-api
- de.learnlib:learnlib-datastructure-dt
- de.learnlib:learnlib-discrimination-tree-vpda
- net.automatalib:automata-api
- org.checkerframework:checker-qual
- org.slf4j:slf4j-api
- org.testng:testng
- de.learnlib.testsupport:learnlib-learner-it-support
- de.learnlib:learnlib-api
- net.automatalib:automata-api
- net.automatalib:automata-commons-smartcollections
- net.automatalib:automata-commons-util
- net.automatalib:automata-core
- org.checkerframework:checker-qual
- org.testng:testng
- com.google.guava:guava test
- net.automatalib:automata-serialization-dot test
- net.automatalib:automata-util test
- com.github.misberner.buildergen:buildergen
- de.learnlib.testsupport:learnlib-learner-it-support
- de.learnlib:learnlib-api
- de.learnlib:learnlib-datastructure-pta
- net.automatalib:automata-api
- net.automatalib:automata-core
- org.checkerframework:checker-qual
- org.testng:testng
- de.learnlib:learnlib-membership-oracles test
- com.github.misberner.buildergen:buildergen
- com.google.guava:guava
- de.learnlib.testsupport:learnlib-learner-it-support
- de.learnlib:learnlib-api
- de.learnlib:learnlib-datastructure-pta
- de.learnlib:learnlib-rpni
- net.automatalib:automata-api
- net.automatalib:automata-commons-smartcollections
- net.automatalib:automata-commons-util
- net.automatalib:automata-core
- org.testng:testng
- de.learnlib:learnlib-membership-oracles test
- net.automatalib:automata-util test
- com.github.misberner.buildergen:buildergen
- de.learnlib.testsupport:learnlib-learner-it-support
- de.learnlib:learnlib-api
- de.learnlib:learnlib-datastructure-pta
- de.learnlib:learnlib-rpni
- net.automatalib:automata-api
- net.automatalib:automata-commons-smartcollections
- net.automatalib:automata-core
- org.testng:testng
- de.learnlib:learnlib-membership-oracles test
algorithms/pom.xml
maven
api/pom.xml
maven
- de.learnlib:learnlib-parent ${learnlibVersion} import
- ch.qos.logback:logback-classic
- de.learnlib.distribution:learnlib-distribution
archetypes/pom.xml
maven
build-parent/pom.xml
maven
build-tools/pom.xml
maven
commons/acex/pom.xml
maven
commons/pom.xml
maven
commons/settings/pom.xml
maven
commons/util/pom.xml
maven
- com.google.guava:guava
- de.learnlib.testsupport:learnlib-test-support
- de.learnlib:learnlib-api
- de.learnlib:learnlib-datastructure-list
- net.automatalib:automata-api
- net.automatalib:automata-commons-smartcollections
- net.automatalib:automata-commons-util
- net.automatalib:automata-util
- org.testng:testng
- net.automatalib:automata-serialization-dot test
datastructures/pom.xml
maven
distribution/pom.xml
maven
- de.learnlib:learnlib-acex
- de.learnlib:learnlib-adt
- de.learnlib:learnlib-api
- de.learnlib:learnlib-cache
- de.learnlib:learnlib-counterexamples
- de.learnlib:learnlib-datastructure-dt
- de.learnlib:learnlib-datastructure-list
- de.learnlib:learnlib-datastructure-ot
- de.learnlib:learnlib-datastructure-pta
- de.learnlib:learnlib-dhc
- de.learnlib:learnlib-discrimination-tree
- de.learnlib:learnlib-discrimination-tree-vpda
- de.learnlib:learnlib-drivers-basic
- de.learnlib:learnlib-drivers-simulator
- de.learnlib:learnlib-emptiness-oracles
- de.learnlib:learnlib-equivalence-oracles
- de.learnlib:learnlib-kearns-vazirani
- de.learnlib:learnlib-lstar
- de.learnlib:learnlib-mapper
- de.learnlib:learnlib-membership-oracles
- de.learnlib:learnlib-nlstar
- de.learnlib:learnlib-ostia
- de.learnlib:learnlib-parallelism
- de.learnlib:learnlib-property-oracles
- de.learnlib:learnlib-reuse
- de.learnlib:learnlib-rpni
- de.learnlib:learnlib-rpni-edsm
- de.learnlib:learnlib-rpni-mdl
- de.learnlib:learnlib-settings
- de.learnlib:learnlib-spa
- de.learnlib:learnlib-statistics
- de.learnlib:learnlib-ttt
- de.learnlib:learnlib-ttt-vpda
- de.learnlib:learnlib-util
- net.automatalib.distribution:automata-distribution
drivers/basic/pom.xml
maven
drivers/mapper/pom.xml
maven
drivers/pom.xml
maven
examples/pom.xml
maven
- de.learnlib.testsupport:learnlib-learning-examples compile
- ch.qos.logback:logback-classic
- com.github.caciocavallosilano:cacio-tta
- com.thoughtworks.xstream:xstream
- de.learnlib:learnlib-acex
- de.learnlib:learnlib-api
- de.learnlib:learnlib-cache
- de.learnlib:learnlib-datastructure-ot
- de.learnlib:learnlib-drivers-basic
- de.learnlib:learnlib-drivers-simulator
- de.learnlib:learnlib-emptiness-oracles
- de.learnlib:learnlib-equivalence-oracles
- de.learnlib:learnlib-lstar
- de.learnlib:learnlib-membership-oracles
- de.learnlib:learnlib-parallelism
- de.learnlib:learnlib-property-oracles
- de.learnlib:learnlib-reuse
- de.learnlib:learnlib-rpni
- de.learnlib:learnlib-statistics
- de.learnlib:learnlib-ttt
- de.learnlib:learnlib-util
- net.automatalib:automata-api
- net.automatalib:automata-commons-util
- net.automatalib:automata-core
- net.automatalib:automata-dot-visualizer
- net.automatalib:automata-modelchecking-ltsmin
- net.automatalib:automata-serialization-dot
- net.automatalib:automata-util
- org.checkerframework:checker-qual
- org.jmockit:jmockit
- org.testng:testng
- de.learnlib.testsupport:learnlib-test-support
- de.learnlib:learnlib-annotation-processor
- de.learnlib:learnlib-api
- de.learnlib:learnlib-util
- net.automatalib:automata-api
- net.automatalib:automata-core
- net.automatalib:automata-util
- org.checkerframework:checker-qual
- org.mockito:mockito-core
- org.testng:testng
- com.google.guava:guava
- de.learnlib.testsupport:learnlib-test-support
- de.learnlib:learnlib-annotation-processor
- de.learnlib:learnlib-api
- de.learnlib:learnlib-util
- net.automatalib:automata-api
- net.automatalib:automata-commons-util
- net.automatalib:automata-core
- net.automatalib:automata-util
- org.checkerframework:checker-qual
- org.mockito:mockito-core
- org.slf4j:slf4j-api
- org.testng:testng
- de.learnlib.testsupport:learnlib-learning-examples test
- de.learnlib:learnlib-membership-oracles test
- de.learnlib:learnlib-api
- de.learnlib:learnlib-membership-oracles
- net.automatalib:automata-api
- net.automatalib:automata-commons-util
- net.automatalib:automata-core
- net.automatalib:automata-incremental
- net.automatalib:automata-util
- org.checkerframework:checker-qual
- org.slf4j:slf4j-api
- org.testng:testng
- de.learnlib.testsupport:learnlib-test-support test
- de.learnlib:learnlib-drivers-simulator test
- de.learnlib:learnlib-statistics test
oracles/filters/pom.xml
maven
- ${project.groupId}:learnlib-api
- de.learnlib:learnlib-annotation-processor
- net.automatalib:automata-api
- net.automatalib:automata-commons-util
- org.mockito:mockito-core
- org.testng:testng
- com.google.guava:guava test
- de.learnlib:learnlib-drivers-simulator test
- net.automatalib:automata-core test
- net.automatalib:automata-util test
- de.learnlib.testsupport:learnlib-learning-examples
- de.learnlib:learnlib-api
- de.learnlib:learnlib-util
- net.automatalib:automata-api
- net.automatalib:automata-commons-util
- net.automatalib:automata-core
- org.checkerframework:checker-qual
- org.mockito:mockito-core
- org.testng:testng
- de.learnlib:learnlib-drivers-simulator test
- ${project.groupId}:learnlib-api
- ${project.groupId}:learnlib-cache
- ${project.groupId}:learnlib-membership-oracles
- ${project.groupId}:learnlib-settings
- com.google.guava:guava
- net.automatalib:automata-api
- net.automatalib:automata-commons-smartcollections
- net.automatalib:automata-commons-util
- net.automatalib:automata-incremental
- org.checkerframework:checker-qual
- org.mockito:mockito-core
- org.testng:testng
- ${project.groupId}:learnlib-drivers-simulator test
- ${project.groupId}:learnlib-statistics test
- net.automatalib:automata-core test
- net.automatalib:automata-util test
oracles/pom.xml
maven
- de.learnlib.testsupport:learnlib-learning-examples
- de.learnlib:learnlib-annotation-processor
- de.learnlib:learnlib-api
- net.automatalib:automata-api
- org.checkerframework:checker-qual
- org.testng:testng
- de.learnlib:learnlib-emptiness-oracles test
- de.learnlib:learnlib-equivalence-oracles test
- de.learnlib:learnlib-membership-oracles test
- net.automatalib:automata-core test
- net.automatalib:automata-modelchecking-ltsmin test
- net.automatalib:automata-util test
pom.xml
maven
- net.automatalib:automata-parent 0.11.0-SNAPSHOT import
- com.github.misberner.buildergen:buildergen 0.1 provided
- de.learnlib:learnlib-annotation-processor 0.17.0-SNAPSHOT provided
- de.learnlib:learnlib-build-config 0.17.0-SNAPSHOT provided
- org.kohsuke.metainf-services:metainf-services 1.8 provided
- ch.qos.logback:logback-classic 1.2.3
- ch.qos.logback:logback-core 1.2.3
- com.github.misberner.ap-commons:ap-commons 0.0.2
- com.google.guava:guava 30.1.1-jre
- com.squareup:javapoet 1.13.0
- com.thoughtworks.xstream:xstream 1.4.18
- de.learnlib.archetypes:basic 0.17.0-SNAPSHOT
- de.learnlib.archetypes:complete 0.17.0-SNAPSHOT
- de.learnlib.archetypes:learnlib-archetypes-parent 0.17.0-SNAPSHOT
- de.learnlib.distribution:learnlib-distribution 0.17.0-SNAPSHOT
- de.learnlib.testsupport:learnlib-test-support-parent 0.17.0-SNAPSHOT
- de.learnlib:learnlib-acex 0.17.0-SNAPSHOT
- de.learnlib:learnlib-adt 0.17.0-SNAPSHOT
- de.learnlib:learnlib-algorithms-active-parent 0.17.0-SNAPSHOT
- de.learnlib:learnlib-algorithms-parent 0.17.0-SNAPSHOT
- de.learnlib:learnlib-algorithms-passive-parent 0.17.0-SNAPSHOT
- de.learnlib:learnlib-api 0.17.0-SNAPSHOT
- de.learnlib:learnlib-build-parent 0.17.0-SNAPSHOT
- de.learnlib:learnlib-build-tools-parent 0.17.0-SNAPSHOT
- de.learnlib:learnlib-cache 0.17.0-SNAPSHOT
- de.learnlib:learnlib-commons-parent 0.17.0-SNAPSHOT
- de.learnlib:learnlib-counterexamples 0.17.0-SNAPSHOT
- de.learnlib:learnlib-datastructure-dt 0.17.0-SNAPSHOT
- de.learnlib:learnlib-datastructure-list 0.17.0-SNAPSHOT
- de.learnlib:learnlib-datastructure-ot 0.17.0-SNAPSHOT
- de.learnlib:learnlib-datastructure-pta 0.17.0-SNAPSHOT
- de.learnlib:learnlib-datastructures-parent 0.17.0-SNAPSHOT
- de.learnlib:learnlib-dhc 0.17.0-SNAPSHOT
- de.learnlib:learnlib-discrimination-tree 0.17.0-SNAPSHOT
- de.learnlib:learnlib-discrimination-tree-vpda 0.17.0-SNAPSHOT
- de.learnlib:learnlib-drivers-basic 0.17.0-SNAPSHOT
- de.learnlib:learnlib-drivers-parent 0.17.0-SNAPSHOT
- de.learnlib:learnlib-drivers-simulator 0.17.0-SNAPSHOT
- de.learnlib:learnlib-emptiness-oracles 0.17.0-SNAPSHOT
- de.learnlib:learnlib-equivalence-oracles 0.17.0-SNAPSHOT
- de.learnlib:learnlib-filters-parent 0.17.0-SNAPSHOT
- de.learnlib:learnlib-kearns-vazirani 0.17.0-SNAPSHOT
- de.learnlib:learnlib-lstar 0.17.0-SNAPSHOT
- de.learnlib:learnlib-mapper 0.17.0-SNAPSHOT
- de.learnlib:learnlib-membership-oracles 0.17.0-SNAPSHOT
- de.learnlib:learnlib-nlstar 0.17.0-SNAPSHOT
- de.learnlib:learnlib-oracles-parent 0.17.0-SNAPSHOT
- de.learnlib:learnlib-ostia 0.17.0-SNAPSHOT
- de.learnlib:learnlib-parallelism 0.17.0-SNAPSHOT
- de.learnlib:learnlib-property-oracles 0.17.0-SNAPSHOT
- de.learnlib:learnlib-reuse 0.17.0-SNAPSHOT
- de.learnlib:learnlib-rpni 0.17.0-SNAPSHOT
- de.learnlib:learnlib-rpni-edsm 0.17.0-SNAPSHOT
- de.learnlib:learnlib-rpni-mdl 0.17.0-SNAPSHOT
- de.learnlib:learnlib-settings 0.17.0-SNAPSHOT
- de.learnlib:learnlib-spa 0.17.0-SNAPSHOT
- de.learnlib:learnlib-statistics 0.17.0-SNAPSHOT
- de.learnlib:learnlib-ttt 0.17.0-SNAPSHOT
- de.learnlib:learnlib-ttt-vpda 0.17.0-SNAPSHOT
- de.learnlib:learnlib-util 0.17.0-SNAPSHOT
- org.checkerframework:checker-qual 3.7.0
- org.slf4j:slf4j-api 1.7.30
- com.github.caciocavallosilano:cacio-tta 1.10 test
- de.learnlib.testsupport:learnlib-learner-it-support 0.17.0-SNAPSHOT test
- de.learnlib.testsupport:learnlib-learning-examples 0.17.0-SNAPSHOT test
- de.learnlib.testsupport:learnlib-test-support 0.17.0-SNAPSHOT test
- org.jmockit:jmockit 1.49 test
- org.mockito:mockito-core 3.12.4 test
- org.testng:testng 7.1.0 test
- de.learnlib.testsupport:learnlib-learning-examples compile
- de.learnlib.testsupport:learnlib-test-support compile
- org.testng:testng compile
- com.google.guava:guava
- de.learnlib:learnlib-api
- de.learnlib:learnlib-cache
- de.learnlib:learnlib-drivers-simulator
- de.learnlib:learnlib-equivalence-oracles
- de.learnlib:learnlib-membership-oracles
- de.learnlib:learnlib-util
- net.automatalib:automata-api
- net.automatalib:automata-commons-util
- net.automatalib:automata-core
- net.automatalib:automata-util
- org.checkerframework:checker-qual
- org.slf4j:slf4j-api
test-support/pom.xml
maven