de.prob2.kernel 3.14.0

The ProB 2.0 Kernel library

License	Eclipse Public License, Version 1.0
GroupId	de.hhu.stups
ArtifactId	de.prob2.kernel
Version	3.14.0
Type	pom.sha512
Description	de.prob2.kernel The ProB 2.0 Kernel library
Project URL	http://www.prob2.de
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

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

There are no modules declared in this project.