Download all versions of de.prob2.kernel JAR files with all dependencies
de.prob2.kernel from group de.hhu.stups (version 4.13.1)
de.prob2.kernel from group de.hhu.stups (version 4.13.0)
The ProB Java API, including Groovy extensions
Artifact de.prob2.kernel
Group de.hhu.stups
Version 4.13.0
Last update 29. February 2024
Tags: prob extensions java including groovy
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 4
Dependencies prob-java, groovy, groovy-jsr223, groovy-xml,
There are maybe transitive dependencies!
Group de.hhu.stups
Version 4.13.0
Last update 29. February 2024
Tags: prob extensions java including groovy
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 4
Dependencies prob-java, groovy, groovy-jsr223, groovy-xml,
There are maybe transitive dependencies!
de.prob2.kernel from group de.hhu.stups (version 4.12.2)
The ProB 2.0 Kernel library
Artifact de.prob2.kernel
Group de.hhu.stups
Version 4.12.2
Last update 14. August 2023
Tags: prob library kernel
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 18
Dependencies answerparser, bparser, ltlparser, parserbase, prologlib, unicode, theorymapping, value-translator, groovy, groovy-jsr223, groovy-nio, groovy-xml, slf4j-api, guice, ltl-dsl, rodin-eventb-ast, jackson-databind, jackson-datatype-jsr310,
There are maybe transitive dependencies!
Group de.hhu.stups
Version 4.12.2
Last update 14. August 2023
Tags: prob library kernel
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 18
Dependencies answerparser, bparser, ltlparser, parserbase, prologlib, unicode, theorymapping, value-translator, groovy, groovy-jsr223, groovy-nio, groovy-xml, slf4j-api, guice, ltl-dsl, rodin-eventb-ast, jackson-databind, jackson-datatype-jsr310,
There are maybe transitive dependencies!
de.prob2.kernel from group de.hhu.stups (version 4.12.1)
The ProB 2.0 Kernel library
Artifact de.prob2.kernel
Group de.hhu.stups
Version 4.12.1
Last update 03. May 2023
Tags: prob library kernel
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 18
Dependencies answerparser, bparser, ltlparser, parserbase, prologlib, unicode, theorymapping, value-translator, groovy, groovy-jsr223, groovy-nio, groovy-xml, slf4j-api, guice, ltl-dsl, rodin-eventb-ast, jackson-databind, jackson-datatype-jsr310,
There are maybe transitive dependencies!
Group de.hhu.stups
Version 4.12.1
Last update 03. May 2023
Tags: prob library kernel
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 18
Dependencies answerparser, bparser, ltlparser, parserbase, prologlib, unicode, theorymapping, value-translator, groovy, groovy-jsr223, groovy-nio, groovy-xml, slf4j-api, guice, ltl-dsl, rodin-eventb-ast, jackson-databind, jackson-datatype-jsr310,
There are maybe transitive dependencies!
de.prob2.kernel from group de.hhu.stups (version 4.12.0)
de.prob2.kernel from group de.hhu.stups (version 3.15.0)
The ProB 2.0 Kernel library
Artifact de.prob2.kernel
Group de.hhu.stups
Version 3.15.0
Last update 06. January 2022
Tags: library kernel prob
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 19
Dependencies answerparser, bparser, ltlparser, parserbase, prologlib, unicode, theorymapping, value-translator, groovy, groovy-jsr223, groovy-nio, groovy-xml, slf4j-api, clj-ds, guice, ltl-dsl, rodin-eventb-ast, jackson-databind, jackson-datatype-jsr310,
There are maybe transitive dependencies!
Group de.hhu.stups
Version 3.15.0
Last update 06. January 2022
Tags: library kernel prob
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 19
Dependencies answerparser, bparser, ltlparser, parserbase, prologlib, unicode, theorymapping, value-translator, groovy, groovy-jsr223, groovy-nio, groovy-xml, slf4j-api, clj-ds, guice, ltl-dsl, rodin-eventb-ast, jackson-databind, jackson-datatype-jsr310,
There are maybe transitive dependencies!
de.prob2.kernel from group de.hhu.stups (version 3.14.0)
The ProB 2.0 Kernel library
Artifact de.prob2.kernel
Group de.hhu.stups
Version 3.14.0
Last update 22. January 2021
Tags: library kernel prob
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 17
Dependencies answerparser, bparser, ltlparser, parserbase, prologlib, unicode, theorymapping, value-translator, groovy, groovy-jsr223, groovy-nio, groovy-xml, slf4j-api, clj-ds, guice, ltl-dsl, rodin-eventb-ast,
There are maybe transitive dependencies!
Group de.hhu.stups
Version 3.14.0
Last update 22. January 2021
Tags: library kernel prob
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 17
Dependencies answerparser, bparser, ltlparser, parserbase, prologlib, unicode, theorymapping, value-translator, groovy, groovy-jsr223, groovy-nio, groovy-xml, slf4j-api, clj-ds, guice, ltl-dsl, rodin-eventb-ast,
There are maybe transitive dependencies!
de.prob2.kernel from group de.hhu.stups (version 3.13.0)
The ProB 2.0 Kernel library
Artifact de.prob2.kernel
Group de.hhu.stups
Version 3.13.0
Last update 21. January 2021
Tags: library kernel prob
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 17
Dependencies answerparser, bparser, ltlparser, parserbase, prologlib, unicode, theorymapping, value-translator, groovy, groovy-jsr223, groovy-nio, groovy-xml, slf4j-api, clj-ds, guice, ltl-dsl, rodin-eventb-ast,
There are maybe transitive dependencies!
Group de.hhu.stups
Version 3.13.0
Last update 21. January 2021
Tags: library kernel prob
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 17
Dependencies answerparser, bparser, ltlparser, parserbase, prologlib, unicode, theorymapping, value-translator, groovy, groovy-jsr223, groovy-nio, groovy-xml, slf4j-api, clj-ds, guice, ltl-dsl, rodin-eventb-ast,
There are maybe transitive dependencies!
de.prob2.kernel from group de.hhu.stups (version 3.12.0)
The ProB 2.0 Kernel library
Artifact de.prob2.kernel
Group de.hhu.stups
Version 3.12.0
Last update 18. December 2020
Tags: library kernel prob
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 17
Dependencies answerparser, bparser, ltlparser, parserbase, prologlib, unicode, theorymapping, value-translator, groovy, groovy-jsr223, groovy-nio, groovy-xml, slf4j-api, clj-ds, guice, ltl-dsl, rodin-eventb-ast,
There are maybe transitive dependencies!
Group de.hhu.stups
Version 3.12.0
Last update 18. December 2020
Tags: library kernel prob
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 17
Dependencies answerparser, bparser, ltlparser, parserbase, prologlib, unicode, theorymapping, value-translator, groovy, groovy-jsr223, groovy-nio, groovy-xml, slf4j-api, clj-ds, guice, ltl-dsl, rodin-eventb-ast,
There are maybe transitive 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 3 (items total 28)