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