Last Version

de.prob2.kernel 3.15.0

License	License Eclipse Public License, Version 1.0
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

Filename	Size
de.prob2.kernel-3.15.0.pom
de.prob2.kernel-3.15.0-sources.jar	37 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