MVN

de.hhu.stups : de.prob2.kernel

Maven & Gradle

Aug 14, 2023

2 usages

4 stars

de.prob2.kernel · The ProB 2.0 Kernel library

Homepage Readme Maven Central

<!-- https://mavenlibs.com/maven/dependency/de.hhu.stups/de.prob2.kernel --><dependency>
    <groupId>de.hhu.stups</groupId>
    <artifactId>de.prob2.kernel</artifactId>
    <version>4.12.2</version>
</dependency>

// https://mavenlibs.com/maven/dependency/de.hhu.stups/de.prob2.kernelimplementation group: 'de.hhu.stups', name: 'de.prob2.kernel', version: '4.12.2'

// https://mavenlibs.com/maven/dependency/de.hhu.stups/de.prob2.kernelimplementation 'de.hhu.stups:de.prob2.kernel:4.12.2'

// https://mavenlibs.com/maven/dependency/de.hhu.stups/de.prob2.kernelimplementation("de.hhu.stups:de.prob2.kernel:4.12.2")

// https://mavenlibs.com/maven/dependency/de.hhu.stups/de.prob2.kernellibraryDependencies += "de.hhu.stups" % "de.prob2.kernel" % "4.12.2"

<!-- https://mavenlibs.com/maven/dependency/de.hhu.stups/de.prob2.kernel --><dependency org="de.hhu.stups" name="de.prob2.kernel" rev="4.12.2"/>

// https://mavenlibs.com/maven/dependency/de.hhu.stups/de.prob2.kernel@Grapes(
    @Grab(group='de.hhu.stups', module='de.prob2.kernel', version='4.12.2')
)

;; https://mavenlibs.com/maven/dependency/de.hhu.stups/de.prob2.kernel[de.hhu.stups/de.prob2.kernel "4.12.2"]

# https://mavenlibs.com/maven/dependency/de.hhu.stups/de.prob2.kernel'de.hhu.stups:de.prob2.kernel:jar:4.12.2'

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.hhu.stups : de.prob2.kernel to add to Maven or Gradle - Latest Versions:

Latest Stable: 4.12.2

All Versions

Choose a version of de.hhu.stups : de.prob2.kernel to add to Maven or Gradle - All Versions:

Version	Vulnerabilities	Updated
4.12.x	de.prob2.kernel-4.12.2		Aug 14, 2023
de.prob2.kernel-4.12.1		May 03, 2023
de.prob2.kernel-4.12.0		Apr 24, 2023
3.15.x	de.prob2.kernel-3.15.0		Jan 06, 2022
3.14.x	de.prob2.kernel-3.14.0		Jan 22, 2021
3.13.x	de.prob2.kernel-3.13.0		Jan 21, 2021
3.12.x	de.prob2.kernel-3.12.0		Dec 18, 2020
3.11.x	de.prob2.kernel-3.11.0		May 07, 2020
3.10.x	de.prob2.kernel-3.10.0		Feb 21, 2020
3.9.x	de.prob2.kernel-3.9.9		Jul 12, 2019
3.2.x	de.prob2.kernel-3.2.11		Aug 10, 2018
de.prob2.kernel-3.2.10		Jul 24, 2018
de.prob2.kernel-3.2.9		Mar 20, 2018
de.prob2.kernel-3.2.7		Nov 14, 2017
de.prob2.kernel-3.2.6		Nov 09, 2017
de.prob2.kernel-3.2.5		Nov 03, 2017
de.prob2.kernel-3.2.4		Oct 06, 2017
de.prob2.kernel-3.2.3		Sep 25, 2017
de.prob2.kernel-3.2.2		Jul 20, 2017
de.prob2.kernel-3.2.1		Apr 10, 2017
3.1.x	de.prob2.kernel-3.1.0		Mar 07, 2017
3.0.x	de.prob2.kernel-3.0.0		Jan 30, 2017
2.0.x	de.prob2.kernel-2.0.3		Sep 30, 2016
de.prob2.kernel-2.0.2		Aug 16, 2016
de.prob2.kernel-2.0.1		Aug 16, 2016
de.prob2.kernel-2.0.0		Feb 24, 2016

Version

Vulnerabilities

Updated

4.12.x

de.prob2.kernel-4.12.2

Aug 14, 2023

de.prob2.kernel-4.12.1

May 03, 2023

de.prob2.kernel-4.12.0

Apr 24, 2023

3.15.x

de.prob2.kernel-3.15.0

Jan 06, 2022

3.14.x

de.prob2.kernel-3.14.0

Jan 22, 2021

3.13.x

de.prob2.kernel-3.13.0

Jan 21, 2021

3.12.x

de.prob2.kernel-3.12.0

Dec 18, 2020

3.11.x

de.prob2.kernel-3.11.0

May 07, 2020

3.10.x

de.prob2.kernel-3.10.0

Feb 21, 2020

3.9.x

de.prob2.kernel-3.9.9

Jul 12, 2019

3.2.x

de.prob2.kernel-3.2.11

Aug 10, 2018

de.prob2.kernel-3.2.10

Jul 24, 2018

de.prob2.kernel-3.2.9

Mar 20, 2018

de.prob2.kernel-3.2.7

Nov 14, 2017

de.prob2.kernel-3.2.6

Nov 09, 2017

de.prob2.kernel-3.2.5

Nov 03, 2017

de.prob2.kernel-3.2.4

Oct 06, 2017

de.prob2.kernel-3.2.3

Sep 25, 2017

de.prob2.kernel-3.2.2

Jul 20, 2017

de.prob2.kernel-3.2.1

Apr 10, 2017

3.1.x

de.prob2.kernel-3.1.0

Mar 07, 2017

3.0.x

de.prob2.kernel-3.0.0

Jan 30, 2017

2.0.x

de.prob2.kernel-2.0.3

Sep 30, 2016

de.prob2.kernel-2.0.2

Aug 16, 2016

de.prob2.kernel-2.0.1

Aug 16, 2016

de.prob2.kernel-2.0.0

Feb 24, 2016

How to add a dependency to Maven

Add the following de.hhu.stups : de.prob2.kernel maven dependency to the pom.xml file with your favorite IDE (IntelliJ / Eclipse / Netbeans):

<dependency>
    <groupId>de.hhu.stups</groupId>
    <artifactId>de.prob2.kernel</artifactId>
    <version>4.12.2</version>
</dependency>

How to add a dependency to Gradle

Gradle Groovy DSL: Add the following de.hhu.stups : de.prob2.kernel gradle dependency to your build.gradle file:

implementation 'de.hhu.stups:de.prob2.kernel:4.12.2'

Gradle Kotlin DSL: Add the following de.hhu.stups : de.prob2.kernel gradle kotlin dependency to your build.gradle.kts file:

implementation("de.hhu.stups:de.prob2.kernel:4.12.2")

How to add a dependency to SBT Scala

SBT Scala: Add the following de.hhu.stups : de.prob2.kernel sbt scala dependency to your build.sbt file:

libraryDependencies += "de.hhu.stups" % "de.prob2.kernel" % "4.12.2"

Dependencies from Group

prologlib

@de.hhu.stups

Aug 11, 2023

12 usages

9 stars

parserbase

@de.hhu.stups

Aug 11, 2023

7 usages

9 stars

bparser

@de.hhu.stups

Aug 11, 2023

7 usages

9 stars

sablecc-runtime

@de.hhu.stups

Aug 08, 2023

7 usages

ltlparser

@de.hhu.stups

Aug 11, 2023

6 usages

9 stars

More Dependencies ❯

Discover Dependencies

expekt

@com.winterbe

Sep 21, 2016

6 usages

168 stars

fonticon

@com.shamanland

Feb 23, 2016

gax

@com.google.api

Aug 01, 2023

254 usages

41 stars

testrail-api-java-client

@com.codepine.api

Oct 08, 2021

11 usages

62 stars

android-maps-extensions

@com.androidmapsextensions

Feb 26, 2017

408 stars

guava-jcache

@ca.exprofesso

Aug 06, 2017

7 stars

larray-mmap

@org.xerial.larray

Nov 27, 2017

11 usages

400 stars

uglifycss

@org.webjars.npm

Feb 15, 2018

3 usages

278 stars

svg-sprite

@org.webjars.npm

Mar 05, 2016

1.8k stars

blueimp-md5

@org.webjars.npm

Nov 15, 2022

5 usages

4.5k stars

More Dependencies ❯