learnlib-counterexamples

de.learnlib

de.learnlib:learnlib-counterexamples is a Maven Central artifact (jar) for the JVM. It has 17 published versions. Browse versions below for dependency snippets and security details.

Recommended: 19.0.0 17 versions jarChecking...
Analyze DependenciesCompare Artifact

Add to your project0.16.0

<dependency>
    <groupId>de.learnlib</groupId>
    <artifactId>learnlib-counterexamples</artifactId>
    <version>0.16.0</version>
</dependency>

Version Details — 0.16.0

Packaging
jar
Direct Deps
0
Total Deps
0
Published
Oct 12, 2020
License
Unknown

A collection of standard algorithms for handling counterexamples in automata learning

Checking security advisories...