4.0.0 de.hhu.stups de.prob2.kernel 2.0.1 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 parserbase 2.6.2 compile de.hhu.stups answerparser 2.6.2 compile org.mockito mockito-core 1.10.19 test de.hhu.stups ptolemy-jfmi 1.1.0 compile de.hhu.stups unicode 2.6.2 compile com.google.code.gson gson 1.7.1 compile findbugs annotations 1.0.0 compile de.hhu.stups ltlparser 2.6.2 compile de.hhu.stups eventbalg 2.6.2 compile org.slf4j slf4j-api 1.6.1 compile de.hhu.stups translator 2.6.2 compile de.hhu.stups tla2bAST 1.0.8 compile de.hhu.stups prologlib 2.6.2 compile de.hhu.stups cliparser 2.6.2 compile net.java.dev.jna jna 3.4.0 compile org.spockframework spock-core 1.0-groovy-2.4 compile junit junit 4.8.2 compile com.github.krukow clj-ds 0.0.4 compile com.google.inject guice 4.0 compile de.hhu.stups bparser 2.6.2 compile commons-cli commons-cli 1.2 compile ch.qos.logback logback-core 0.9.29 compile org.codehaus.groovy groovy-all 2.4.7 compile com.google.guava guava 19.0 compile de.hhu.stups theorymapping 2.6.2 compile de.hhu.stups rodin-eventb-ast 3.2.0 compile ch.qos.logback logback-classic 0.9.29 compile commons-lang commons-lang 2.6 compile