4.0.0 de.hhu.stups de.prob2.kernel 3.15.0 de.prob2.kernel The ProB 2.0 Kernel library http://www.prob2.de Eclipse Public License, Version 1.0 http://www.eclipse.org/org/documents/epl-v10.html bendisposto Jens Bendisposto jens@bendisposto.de scm:git:https://github.com/hhu-stups/prob2_kernel.git scm:git:git@gitlab.cs.uni-duesseldorf.de:stups/prob/prob2_kernel.git https://github.com/hhu-stups/prob2_kernel org.codehaus.groovy groovy-bom 3.0.9 pom import com.fasterxml.jackson jackson-bom 2.12.5 pom import de.hhu.stups answerparser 2.9.32 compile de.hhu.stups bparser 2.9.32 compile de.hhu.stups ltlparser 2.9.32 compile de.hhu.stups parserbase 2.9.32 compile de.hhu.stups prologlib 2.9.32 compile de.hhu.stups unicode 2.9.32 compile de.hhu.stups theorymapping 2.9.32 compile de.hhu.stups value-translator 0.1.2 compile org.codehaus.groovy groovy compile org.codehaus.groovy groovy-jsr223 compile org.codehaus.groovy groovy-nio compile org.codehaus.groovy groovy-xml compile org.slf4j slf4j-api 1.7.32 compile com.github.krukow clj-ds 0.0.4 compile com.google.inject guice 5.0.1 compile de.hhu.stups ltl-dsl 0.1.3 compile de.hhu.stups rodin-eventb-ast 3.2.0 compile com.fasterxml.jackson.core jackson-databind compile com.fasterxml.jackson.datatype jackson-datatype-jsr310 compile com.fatboyindustrial.gson-javatime-serialisers gson-javatime-serialisers 1.1.1 runtime com.google.guava guava 30.1.1-jre runtime com.google.code.gson gson 2.8.8 runtime de.hhu.stups alloy2b 1.2 runtime de.hhu.stups tla2bAST 1.1.4 runtime