Download all versions of prob-java JAR files with all dependencies

prob-java from group de.hhu.stups (version 4.13.1)

Core of the ProB Java API

Group: de.hhu.stups Artifact: prob-java
Show documentation Show source

0 downloads

Artifact prob-java
Group de.hhu.stups
Version 4.13.1
Last update 25. March 2024
Tags: core prob java
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 16
Dependencies answerparser, bparser, ltlparser, parserbase, prologlib, unicode, theorymapping, value-translator, slf4j-api, guice, ltl-dsl, rodin-eventb-ast, jackson-databind, jackson-module-parameter-names, jackson-datatype-jsr310, jackson-datatype-jdk8,
There are maybe transitive dependencies!

prob-java from group de.hhu.stups (version 4.13.0)

Core of the ProB Java API

Group: de.hhu.stups Artifact: prob-java
Show documentation Show source

0 downloads

Artifact prob-java
Group de.hhu.stups
Version 4.13.0
Last update 29. February 2024
Tags: core prob java
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 16
Dependencies answerparser, bparser, ltlparser, parserbase, prologlib, unicode, theorymapping, value-translator, slf4j-api, guice, ltl-dsl, rodin-eventb-ast, jackson-databind, jackson-module-parameter-names, jackson-datatype-jsr310, jackson-datatype-jdk8,
There are maybe transitive dependencies!

Page 1 from 1 (items total 2)