MVN

de.learnlib : learnlib-counterexamples

Maven & Gradle

Oct 12, 2020

10 usages

147 stars

LearnLib :: Commons :: Counterexamples · A collection of standard algorithms for handling counterexamples in automata learning

Homepage Documentation Readme Maven Central

<!-- https://mavenlibs.com/maven/dependency/de.learnlib/learnlib-counterexamples --><dependency>
    <groupId>de.learnlib</groupId>
    <artifactId>learnlib-counterexamples</artifactId>
    <version>0.16.0</version>
</dependency>

// https://mavenlibs.com/maven/dependency/de.learnlib/learnlib-counterexamplesimplementation group: 'de.learnlib', name: 'learnlib-counterexamples', version: '0.16.0'

// https://mavenlibs.com/maven/dependency/de.learnlib/learnlib-counterexamplesimplementation 'de.learnlib:learnlib-counterexamples:0.16.0'

// https://mavenlibs.com/maven/dependency/de.learnlib/learnlib-counterexamplesimplementation("de.learnlib:learnlib-counterexamples:0.16.0")

// https://mavenlibs.com/maven/dependency/de.learnlib/learnlib-counterexampleslibraryDependencies += "de.learnlib" % "learnlib-counterexamples" % "0.16.0"

<!-- https://mavenlibs.com/maven/dependency/de.learnlib/learnlib-counterexamples --><dependency org="de.learnlib" name="learnlib-counterexamples" rev="0.16.0"/>

// https://mavenlibs.com/maven/dependency/de.learnlib/learnlib-counterexamples@Grapes(
    @Grab(group='de.learnlib', module='learnlib-counterexamples', version='0.16.0')
)

;; https://mavenlibs.com/maven/dependency/de.learnlib/learnlib-counterexamples[de.learnlib/learnlib-counterexamples "0.16.0"]

# https://mavenlibs.com/maven/dependency/de.learnlib/learnlib-counterexamples'de.learnlib:learnlib-counterexamples:jar:0.16.0'

Copy

pom.xml

Include comment with link to declaration

Table Of Contents

Latest Version
All Versions
How to add a dependency to Maven
How to add a dependency to Gradle
How to add a dependency to SBT Scala

Latest Version

Choose a version of de.learnlib : learnlib-counterexamples to add to Maven or Gradle - Latest Versions:

Latest Stable: 0.16.0

All Versions

Choose a version of de.learnlib : learnlib-counterexamples to add to Maven or Gradle - All Versions:

Version	Vulnerabilities	Updated
0.16.x	learnlib-counterexamples-0.16.0		Oct 12, 2020
0.15.x	learnlib-counterexamples-0.15.0		Feb 06, 2020
0.14.x	learnlib-counterexamples-0.14.0		Feb 18, 2019
0.13.x	learnlib-counterexamples-0.13.1		May 11, 2018
learnlib-counterexamples-0.13.0		Feb 08, 2018
0.12.x	learnlib-counterexamples-0.12.0		Jun 04, 2015
0.11.x	learnlib-counterexamples-0.11.2		Apr 26, 2015
learnlib-counterexamples-0.11.1		Jan 16, 2015
0.10.x	learnlib-counterexamples-0.10.1		Jun 14, 2014
learnlib-counterexamples-0.10.0		Apr 16, 2014
0.9.x	learnlib-counterexamples-0.9.1-ase2013-tutorial-r1		Dec 13, 2013
learnlib-counterexamples-0.9.1		Nov 07, 2013
learnlib-counterexamples-0.9.1-ase2013-tutorial		Nov 06, 2013
learnlib-counterexamples-0.9.0		Jun 25, 2013

Version

Vulnerabilities

Updated

0.16.x

learnlib-counterexamples-0.16.0

Oct 12, 2020

0.15.x

learnlib-counterexamples-0.15.0

Feb 06, 2020

0.14.x

learnlib-counterexamples-0.14.0

Feb 18, 2019

0.13.x

learnlib-counterexamples-0.13.1

May 11, 2018

learnlib-counterexamples-0.13.0

Feb 08, 2018

0.12.x

learnlib-counterexamples-0.12.0

Jun 04, 2015

0.11.x

learnlib-counterexamples-0.11.2

Apr 26, 2015

learnlib-counterexamples-0.11.1

Jan 16, 2015

0.10.x

learnlib-counterexamples-0.10.1

Jun 14, 2014

learnlib-counterexamples-0.10.0

Apr 16, 2014

0.9.x

learnlib-counterexamples-0.9.1-ase2013-tutorial-r1

Dec 13, 2013

learnlib-counterexamples-0.9.1

Nov 07, 2013

learnlib-counterexamples-0.9.1-ase2013-tutorial

Nov 06, 2013

learnlib-counterexamples-0.9.0

Jun 25, 2013

How to add a dependency to Maven

Add the following de.learnlib : learnlib-counterexamples maven dependency to the pom.xml file with your favorite IDE (IntelliJ / Eclipse / Netbeans):

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

How to add a dependency to Gradle

Gradle Groovy DSL: Add the following de.learnlib : learnlib-counterexamples gradle dependency to your build.gradle file:

implementation 'de.learnlib:learnlib-counterexamples:0.16.0'

Gradle Kotlin DSL: Add the following de.learnlib : learnlib-counterexamples gradle kotlin dependency to your build.gradle.kts file:

implementation("de.learnlib:learnlib-counterexamples:0.16.0")

How to add a dependency to SBT Scala

SBT Scala: Add the following de.learnlib : learnlib-counterexamples sbt scala dependency to your build.sbt file:

libraryDependencies += "de.learnlib" % "learnlib-counterexamples" % "0.16.0"

Dependencies from Group

learnlib-api

@de.learnlib

Oct 12, 2020

28 usages

147 stars

learnlib-core

@de.learnlib

Jun 04, 2015

20 usages

147 stars

learnlib-membership-oracles

@de.learnlib

Oct 12, 2020

15 usages

learnlib-util

@de.learnlib

Oct 12, 2020

14 usages

147 stars

learnlib-simulator

@de.learnlib

Jun 04, 2015

12 usages

147 stars

More Dependencies ❯

Discover Dependencies

learnlib-acex

@de.learnlib

Oct 12, 2020

7 usages

147 stars

ha-jobs-play_2.10

@de.kaufhof

Feb 22, 2016

29 stars

cdi-test-core

@de.hilling.junit.cdi

Mar 14, 2023

14 usages

23 stars

akka-sse_2.11

@de.heikoseeberger

May 08, 2017

7 usages

181 stars

hydra-spring

@de.escalon.hypermedia

Mar 18, 2019

1 usages

106 stars

hydra-service

@de.escalon.hypermedia

Mar 18, 2019

1 usages

106 stars

smartcron

@de.chrgroth.smartcron

Dec 12, 2017

0 stars

jgeohash

@de.alpharogroup

Dec 21, 2018

4 usages

64 stars

chat-systems

@de.alpharogroup

May 20, 2017

1 stars

worldpay-root

@com.worldpay.api.root

Oct 13, 2016

More Dependencies ❯