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