4.0.0 de.hhu.stups de.prob2.kernel 3.10.0 prob2-kernel The ProB 2.0 Kernel 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:git://github.com/bendisposto/prob2.git scm:git:git@github.com:bendisposto/prob2.git https://github.com/bendisposto/prob2 de.hhu.stups answerparser 2.9.23 compile de.hhu.stups bparser 2.9.23 compile de.hhu.stups cliparser 2.9.23 compile de.hhu.stups eventbalg 2.9.23 compile de.hhu.stups ltlparser 2.9.23 compile de.hhu.stups parserbase 2.9.23 compile de.hhu.stups prologlib 2.9.23 compile de.hhu.stups unicode 2.9.23 compile de.hhu.stups theorymapping 2.9.23 compile de.hhu.stups value-translator 0.0.2 compile org.codehaus.groovy groovy 2.5.9 compile org.codehaus.groovy groovy-jsr223 2.5.9 compile org.codehaus.groovy groovy-nio 2.5.9 compile org.codehaus.groovy groovy-xml 2.5.9 compile ch.qos.logback logback-core 1.2.3 compile ch.qos.logback logback-classic 1.2.3 compile org.slf4j slf4j-api 1.7.30 compile com.github.krukow clj-ds 0.0.4 compile com.google.inject guice 4.2.2 compile de.hhu.stups ltl-dsl 0.1.3 compile de.hhu.stups rodin-eventb-ast 3.2.0 compile com.google.code.findbugs jsr305 3.0.2 compile com.google.code.gson gson 2.8.6 runtime com.google.guava guava 28.2-jre runtime commons-cli commons-cli 1.4 runtime de.hhu.stups alloy2b 1.1 runtime de.hhu.stups tla2bAST 1.1.0 runtime