Download de.prob2.kernel JAR file with all dependencies
de.prob2.kernel from group de.hhu.stups (version 3.2.5)
The ProB 2.0 Kernel
Artifact de.prob2.kernel
Group de.hhu.stups
Version 3.2.5
Last update 03. November 2017
Tags: kernel prob
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 29
Dependencies jsr305, guava, commons-cli, commons-lang, groovy-all, guice, slf4j-api, logback-core, logback-classic, gson, rodin-eventb-ast, answerparser, bparser, cliparser, ltlparser, parserbase, prologlib, unicode, theorymapping, translator, eventbalg, tla2bAST, ltl-dsl, jna, ptolemy-jfmi, junit, spock-core, clj-ds, annotations,
There are maybe transitive dependencies!
Group de.hhu.stups
Version 3.2.5
Last update 03. November 2017
Tags: kernel prob
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 29
Dependencies jsr305, guava, commons-cli, commons-lang, groovy-all, guice, slf4j-api, logback-core, logback-classic, gson, rodin-eventb-ast, answerparser, bparser, cliparser, ltlparser, parserbase, prologlib, unicode, theorymapping, translator, eventbalg, tla2bAST, ltl-dsl, jna, ptolemy-jfmi, junit, spock-core, clj-ds, annotations,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)