Download all versions of de.prob2.kernel JAR files with all dependencies
de.prob2.kernel from group de.hhu.stups (version 3.2.2)
The ProB 2.0 Kernel
Artifact de.prob2.kernel
Group de.hhu.stups
Version 3.2.2
Last update 20. July 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.2
Last update 20. July 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.1)
The ProB 2.0 Kernel
Artifact de.prob2.kernel
Group de.hhu.stups
Version 3.2.1
Last update 10. April 2017
Tags: kernel prob
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 27
Dependencies cliparser, clj-ds, commons-cli, guice, rodin-eventb-ast, unicode, spock-core, prologlib, theorymapping, gson, logback-core, eventbalg, tla2bAST, ltlparser, annotations, answerparser, translator, jna, parserbase, groovy-all, guava, slf4j-api, junit, ptolemy-jfmi, commons-lang, bparser, logback-classic,
There are maybe transitive dependencies!
Group de.hhu.stups
Version 3.2.1
Last update 10. April 2017
Tags: kernel prob
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 27
Dependencies cliparser, clj-ds, commons-cli, guice, rodin-eventb-ast, unicode, spock-core, prologlib, theorymapping, gson, logback-core, eventbalg, tla2bAST, ltlparser, annotations, answerparser, translator, jna, parserbase, groovy-all, guava, slf4j-api, junit, ptolemy-jfmi, commons-lang, bparser, logback-classic,
There are maybe transitive dependencies!
de.prob2.kernel from group de.hhu.stups (version 3.1.0)
The ProB 2.0 Kernel
Artifact de.prob2.kernel
Group de.hhu.stups
Version 3.1.0
Last update 07. March 2017
Tags: kernel prob
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 27
Dependencies cliparser, clj-ds, commons-cli, guice, rodin-eventb-ast, unicode, theorymapping, spock-core, gson, logback-core, prologlib, tla2bAST, eventbalg, answerparser, ltlparser, annotations, jna, parserbase, translator, bparser, groovy-all, guava, slf4j-api, junit, ptolemy-jfmi, commons-lang, logback-classic,
There are maybe transitive dependencies!
Group de.hhu.stups
Version 3.1.0
Last update 07. March 2017
Tags: kernel prob
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 27
Dependencies cliparser, clj-ds, commons-cli, guice, rodin-eventb-ast, unicode, theorymapping, spock-core, gson, logback-core, prologlib, tla2bAST, eventbalg, answerparser, ltlparser, annotations, jna, parserbase, translator, bparser, groovy-all, guava, slf4j-api, junit, ptolemy-jfmi, commons-lang, logback-classic,
There are maybe transitive dependencies!
de.prob2.kernel from group de.hhu.stups (version 3.0.0)
The ProB 2.0 Kernel
Artifact de.prob2.kernel
Group de.hhu.stups
Version 3.0.0
Last update 30. January 2017
Tags: kernel prob
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 27
Dependencies cliparser, clj-ds, commons-cli, guice, rodin-eventb-ast, unicode, theorymapping, parserbase, spock-core, eventbalg, gson, logback-core, prologlib, tla2bAST, answerparser, annotations, ltlparser, jna, translator, bparser, groovy-all, guava, slf4j-api, junit, ptolemy-jfmi, commons-lang, logback-classic,
There are maybe transitive dependencies!
Group de.hhu.stups
Version 3.0.0
Last update 30. January 2017
Tags: kernel prob
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 27
Dependencies cliparser, clj-ds, commons-cli, guice, rodin-eventb-ast, unicode, theorymapping, parserbase, spock-core, eventbalg, gson, logback-core, prologlib, tla2bAST, answerparser, annotations, ltlparser, jna, translator, bparser, groovy-all, guava, slf4j-api, junit, ptolemy-jfmi, commons-lang, logback-classic,
There are maybe transitive dependencies!
de.prob2.kernel from group de.hhu.stups (version 2.0.3)
The ProB 2.0 Kernel
Artifact de.prob2.kernel
Group de.hhu.stups
Version 2.0.3
Last update 30. September 2016
Tags: kernel prob
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 27
Dependencies logback-classic, cliparser, clj-ds, commons-cli, guice, rodin-eventb-ast, slf4j-api, unicode, theorymapping, parserbase, spock-core, eventbalg, gson, prologlib, tla2bAST, answerparser, annotations, ltlparser, jna, translator, bparser, groovy-all, guava, junit, ptolemy-jfmi, commons-lang, logback-core,
There are maybe transitive dependencies!
Group de.hhu.stups
Version 2.0.3
Last update 30. September 2016
Tags: kernel prob
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 27
Dependencies logback-classic, cliparser, clj-ds, commons-cli, guice, rodin-eventb-ast, slf4j-api, unicode, theorymapping, parserbase, spock-core, eventbalg, gson, prologlib, tla2bAST, answerparser, annotations, ltlparser, jna, translator, bparser, groovy-all, guava, junit, ptolemy-jfmi, commons-lang, logback-core,
There are maybe transitive dependencies!
de.prob2.kernel from group de.hhu.stups (version 2.0.2)
The ProB 2.0 Kernel
Artifact de.prob2.kernel
Group de.hhu.stups
Version 2.0.2
Last update 16. August 2016
Tags: kernel prob
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 2.0.2
Last update 16. August 2016
Tags: kernel prob
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!
de.prob2.kernel from group de.hhu.stups (version 2.0.1)
The ProB 2.0 Kernel
Artifact de.prob2.kernel
Group de.hhu.stups
Version 2.0.1
Last update 16. August 2016
Tags: kernel prob
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 2.0.1
Last update 16. August 2016
Tags: kernel prob
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!
de.prob2.kernel from group de.hhu.stups (version 2.0.0)
Page 3 from 3 (items total 28)