Last Version 3.15.0 →

de.prob2.kernel 3.14.0

License	License Eclipse Public License, Version 1.0
GroupId	GroupId de.hhu.stups
ArtifactId	ArtifactId de.prob2.kernel
Version	Version 3.14.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.14.0

Filename	Size
de.prob2.kernel-3.14.0.pom
de.prob2.kernel-3.14.0-sources.jar	36 MB
de.prob2.kernel-3.14.0-javadoc.jar	1 MB
Browse

Dependencies

compile (17)

Group / Artifact	Type	Version
de.hhu.stups : answerparser	jar	2.9.27
de.hhu.stups : bparser	jar	2.9.27
de.hhu.stups : ltlparser	jar	2.9.27
de.hhu.stups : parserbase	jar	2.9.27
de.hhu.stups : prologlib	jar	2.9.27
de.hhu.stups : unicode	jar	2.9.27
de.hhu.stups : theorymapping	jar	2.9.27
de.hhu.stups : value-translator	jar	0.1.2
org.codehaus.groovy : groovy	jar	3.0.3
org.codehaus.groovy : groovy-jsr223	jar	3.0.3
org.codehaus.groovy : groovy-nio	jar	3.0.3
org.codehaus.groovy : groovy-xml	jar	3.0.3
org.slf4j : slf4j-api	jar	1.7.30
com.github.krukow : clj-ds	jar	0.0.4
com.google.inject : guice	jar	4.2.2
de.hhu.stups : ltl-dsl	jar	0.1.3
de.hhu.stups : rodin-eventb-ast	jar	3.2.0

runtime (6)

Group / Artifact	Type	Version
com.fatboyindustrial.gson-javatime-serialisers : gson-javatime-serialisers	jar	1.1.1
com.google.guava : guava	jar	28.2-jre
com.google.code.gson : gson	jar	2.8.6
de.hhu.stups : alloy2b	jar	1.2
de.hhu.stups : tla2bAST	jar	1.1.3
org.apache.commons : commons-lang3	jar	3.0

Project Modules