Last Version

de.prob2.kernel 3.15.0

The ProB 2.0 Kernel library

License

License

GroupId

GroupId

de.hhu.stups
ArtifactId

ArtifactId

de.prob2.kernel
Version

Version

3.15.0
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 3.15.0

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.