4.0.0 de.hhu.stups prob-java 4.15.0 prob-java Core of the ProB Java API 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 com.fasterxml.jackson jackson-bom 2.18.2 pom import de.hhu.stups prob-java-bom 4.15.0 pom import de.hhu.stups answerparser 2.15.2 compile de.hhu.stups bparser 2.15.2 compile de.hhu.stups ltlparser 2.15.2 compile de.hhu.stups parserbase 2.15.2 compile de.hhu.stups prologlib 2.15.2 compile de.hhu.stups unicode 2.15.2 compile de.hhu.stups theorymapping 2.15.2 compile de.hhu.stups value-translator 0.1.4 compile de.hhu.stups ltl-dsl 0.2.2 compile de.hhu.stups rodin-eventb-ast 3.8.0 compile de.hhu.stups tlc4b 1.2.1 compile org.slf4j slf4j-api 2.0.17 compile com.google.inject guice 6.0.0 compile com.fasterxml.jackson.core jackson-databind compile com.fasterxml.jackson.module jackson-module-parameter-names compile com.fasterxml.jackson.datatype jackson-datatype-jsr310 compile com.fasterxml.jackson.datatype jackson-datatype-jdk8 compile de.hhu.stups alloy2b 1.4 runtime de.hhu.stups tla2bAST 1.4.1 runtime com.github.krukow clj-ds 0.0.4 runtime com.google.guava guava 33.4.0-jre runtime org.apache.velocity velocity-engine-core 2.4.1 runtime