JarCasting
JarCasting JarCasting

de.prob2.kernel

The ProB 2.0 Kernel library

License

License
GroupId

GroupId

de.hhu.stups
ArtifactId

ArtifactId

de.prob2.kernel
Last Version

Last Version

3.15.0
Release Date

Release Date
Type

Type

pom.sha512
Description

Description

de.prob2.kernel
The ProB 2.0 Kernel library
Project URL

Project URL

http://www.prob2.de
Source Code Management

Source Code Management

https://github.com/hhu-stups/prob2_kernel

Download de.prob2.kernel

Filename Size
de.prob2.kernel-3.15.0.pom
de.prob2.kernel-3.15.0-sources.jar 44 MB
de.prob2.kernel-3.15.0-javadoc.jar 1 MB
Browse

Dependencies

compile (19)

Group / Artifact Type Version
de.hhu.stups : answerparser jar 2.9.32
de.hhu.stups : bparser jar 2.9.32
de.hhu.stups : ltlparser jar 2.9.32
de.hhu.stups : parserbase jar 2.9.32
de.hhu.stups : prologlib jar 2.9.32
de.hhu.stups : unicode jar 2.9.32
de.hhu.stups : theorymapping jar 2.9.32
de.hhu.stups : value-translator jar 0.1.2
org.codehaus.groovy : groovy jar
org.codehaus.groovy : groovy-jsr223 jar
org.codehaus.groovy : groovy-nio jar
org.codehaus.groovy : groovy-xml jar
org.slf4j : slf4j-api jar 1.7.32
com.github.krukow : clj-ds jar 0.0.4
com.google.inject : guice jar 5.0.1
de.hhu.stups : ltl-dsl jar 0.1.3
de.hhu.stups : rodin-eventb-ast jar 3.2.0
com.fasterxml.jackson.core : jackson-databind jar
com.fasterxml.jackson.datatype : jackson-datatype-jsr310 jar

runtime (5)

Group / Artifact Type Version
com.fatboyindustrial.gson-javatime-serialisers : gson-javatime-serialisers jar 1.1.1
com.google.guava : guava jar 30.1.1-jre
com.google.code.gson : gson jar 2.8.8
de.hhu.stups : alloy2b jar 1.2
de.hhu.stups : tla2bAST jar 1.1.4

Project Modules

There are no modules declared in this project.
de.hhu.stups

Software Engineering and Programming Languages Group – Heinrich Heine University Düsseldorf

Versions

Version
3.15.0
3.14.0
3.13.0
3.12.0
3.11.0
3.10.0
3.9.9
3.2.11
3.2.10
3.2.9
3.2.7
3.2.6
3.2.5
3.2.4
3.2.3
3.2.2
3.2.1
3.1.0
3.0.0
2.0.3
2.0.2
2.0.1
2.0.0