Download de.prob2.kernel JAR file with all dependencies
de.prob2.kernel from group de.hhu.stups (version 3.11.0)
The ProB 2.0 Kernel
Artifact de.prob2.kernel
Group de.hhu.stups
Version 3.11.0
Last update 07. May 2020
Tags: kernel prob
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 20
Dependencies answerparser, bparser, ltlparser, parserbase, prologlib, unicode, theorymapping, value-translator, groovy, groovy-jsr223, groovy-nio, groovy-xml, logback-core, logback-classic, slf4j-api, clj-ds, guice, ltl-dsl, rodin-eventb-ast, jsr305,
There are maybe transitive dependencies!
Group de.hhu.stups
Version 3.11.0
Last update 07. May 2020
Tags: kernel prob
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 20
Dependencies answerparser, bparser, ltlparser, parserbase, prologlib, unicode, theorymapping, value-translator, groovy, groovy-jsr223, groovy-nio, groovy-xml, logback-core, logback-classic, slf4j-api, clj-ds, guice, ltl-dsl, rodin-eventb-ast, jsr305,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)