Download prob-java JAR file with all dependencies
prob-java from group de.hhu.stups (version 4.13.1)
Core of the ProB Java API
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!
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!
Page 1 from 1 (items total 1)