All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download all versions of de.prob2.kernel JAR files with all dependencies

Search JAR files by class name

de.prob2.kernel from group de.hhu.stups (version 4.13.1)

Group: de.hhu.stups Artifact: de.prob2.kernel
Show documentation Show source 
 

0 downloads
Artifact de.prob2.kernel
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

Group: de.hhu.stups Artifact: de.prob2.kernel
Show documentation Show source 
 

0 downloads
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!

de.prob2.kernel from group de.hhu.stups (version 4.12.2)

The ProB 2.0 Kernel library

Group: de.hhu.stups Artifact: de.prob2.kernel
Show documentation Show source 
 

0 downloads
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!

de.prob2.kernel from group de.hhu.stups (version 4.12.1)

The ProB 2.0 Kernel library

Group: de.hhu.stups Artifact: de.prob2.kernel
Show documentation Show source 
 

0 downloads
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!

de.prob2.kernel from group de.hhu.stups (version 4.12.0)

Group: de.hhu.stups Artifact: de.prob2.kernel
Show documentation Show source 
 

0 downloads
Artifact de.prob2.kernel
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

Group: de.hhu.stups Artifact: de.prob2.kernel
Show documentation Show source 
 

0 downloads
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!

de.prob2.kernel from group de.hhu.stups (version 3.14.0)

The ProB 2.0 Kernel library

Group: de.hhu.stups Artifact: de.prob2.kernel
Show documentation Show source 
 

0 downloads
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!

de.prob2.kernel from group de.hhu.stups (version 3.13.0)

The ProB 2.0 Kernel library

Group: de.hhu.stups Artifact: de.prob2.kernel
Show documentation Show source 
 

0 downloads
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!

de.prob2.kernel from group de.hhu.stups (version 3.12.0)

The ProB 2.0 Kernel library

Group: de.hhu.stups Artifact: de.prob2.kernel
Show documentation Show source 
 

0 downloads
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!

de.prob2.kernel from group de.hhu.stups (version 3.11.0)

The ProB 2.0 Kernel

Group: de.hhu.stups Artifact: de.prob2.kernel
Show documentation Show source 
 

0 downloads
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!



Page 1 from 3 (items total 28)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy