Download all versions of de.prob2.kernel JAR files with all dependencies
de.prob2.kernel from group de.hhu.stups (version 3.10.0)
The ProB 2.0 Kernel
Artifact de.prob2.kernel
Group de.hhu.stups
Version 3.10.0
Last update 21. February 2020
Tags: kernel prob
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 22
Dependencies answerparser, bparser, cliparser, eventbalg, 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.10.0
Last update 21. February 2020
Tags: kernel prob
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 22
Dependencies answerparser, bparser, cliparser, eventbalg, 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!
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!
de.prob2.kernel from group de.hhu.stups (version 3.2.11)
The ProB 2.0 Kernel
Artifact de.prob2.kernel
Group de.hhu.stups
Version 3.2.11
Last update 10. August 2018
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.11
Last update 10. August 2018
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!
de.prob2.kernel from group de.hhu.stups (version 3.2.10)
The ProB 2.0 Kernel
Artifact de.prob2.kernel
Group de.hhu.stups
Version 3.2.10
Last update 24. July 2018
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.10
Last update 24. July 2018
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!
de.prob2.kernel from group de.hhu.stups (version 3.2.9)
The ProB 2.0 Kernel
Artifact de.prob2.kernel
Group de.hhu.stups
Version 3.2.9
Last update 20. March 2018
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.9
Last update 20. March 2018
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!
de.prob2.kernel from group de.hhu.stups (version 3.2.7)
The ProB 2.0 Kernel
Artifact de.prob2.kernel
Group de.hhu.stups
Version 3.2.7
Last update 14. 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.7
Last update 14. 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!
de.prob2.kernel from group de.hhu.stups (version 3.2.6)
The ProB 2.0 Kernel
Artifact de.prob2.kernel
Group de.hhu.stups
Version 3.2.6
Last update 09. 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.6
Last update 09. 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!
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!
de.prob2.kernel from group de.hhu.stups (version 3.2.4)
The ProB 2.0 Kernel
Artifact de.prob2.kernel
Group de.hhu.stups
Version 3.2.4
Last update 06. October 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.4
Last update 06. October 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!
de.prob2.kernel from group de.hhu.stups (version 3.2.3)
Page 2 from 3 (items total 28)