Download JAR files tagged by prob 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
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
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!
voparser from group de.hhu.stups (version 0.2.1)
ProB Validation Obligation parser
Artifact voparser
Group de.hhu.stups
Version 0.2.1
Last update 14. August 2023
Organization not specified
URL https://gitlab.cs.uni-duesseldorf.de/general/stups/vo_parser
License Eclipse Public License, Version 1.0
Dependencies amount 1
Dependencies sablecc-runtime,
There are maybe transitive dependencies!
Group de.hhu.stups
Version 0.2.1
Last update 14. August 2023
Organization not specified
URL https://gitlab.cs.uni-duesseldorf.de/general/stups/vo_parser
License Eclipse Public License, Version 1.0
Dependencies amount 1
Dependencies sablecc-runtime,
There are maybe transitive dependencies!
eventbalg from group de.hhu.stups (version 2.12.5)
Part of the ProB Parser library
Artifact eventbalg
Group de.hhu.stups
Version 2.12.5
Last update 10. July 2023
Organization not specified
URL https://github.com/bendisposto/probparsers
License Eclipse Public License, Version 1.0
Dependencies amount 1
Dependencies sablecc-runtime,
There are maybe transitive dependencies!
Group de.hhu.stups
Version 2.12.5
Last update 10. July 2023
Organization not specified
URL https://github.com/bendisposto/probparsers
License Eclipse Public License, Version 1.0
Dependencies amount 1
Dependencies sablecc-runtime,
There are maybe transitive dependencies!
tlc4b from group de.hhu.stups (version 1.1.0)
Use the TLC model checker within ProB.
Artifact tlc4b
Group de.hhu.stups
Version 1.1.0
Last update 28. April 2023
Organization not specified
URL https://github.com/hhu-stups/tlc4b
License Eclipse Public License, Version 2.1
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group de.hhu.stups
Version 1.1.0
Last update 28. April 2023
Organization not specified
URL https://github.com/hhu-stups/tlc4b
License Eclipse Public License, Version 2.1
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
typechecker from group de.hhu.stups (version 2.9.32)
Part of the ProB Parser library
1 downloads
Artifact typechecker
Group de.hhu.stups
Version 2.9.32
Last update 28. December 2021
Organization not specified
URL https://github.com/bendisposto/probparsers
License Eclipse Public License, Version 1.0
Dependencies amount 3
Dependencies prologlib, bparser, ltlparser,
There are maybe transitive dependencies!
Group de.hhu.stups
Version 2.9.32
Last update 28. December 2021
Organization not specified
URL https://github.com/bendisposto/probparsers
License Eclipse Public License, Version 1.0
Dependencies amount 3
Dependencies prologlib, bparser, ltlparser,
There are maybe transitive dependencies!
translator from group de.hhu.stups (version 2.9.23)
Part of the ProB Parser library
9 downloads
Artifact translator
Group de.hhu.stups
Version 2.9.23
Last update 07. November 2019
Organization not specified
URL https://github.com/bendisposto/probparsers
License Eclipse Public License, Version 1.0
Dependencies amount 2
Dependencies prologlib, bparser,
There are maybe transitive dependencies!
Group de.hhu.stups
Version 2.9.23
Last update 07. November 2019
Organization not specified
URL https://github.com/bendisposto/probparsers
License Eclipse Public License, Version 1.0
Dependencies amount 2
Dependencies prologlib, bparser,
There are maybe transitive dependencies!
bmotion-prob from group de.hhu.stups (version 0.3.1)
BMotionWeb Server ProB Module
0 downloads
Artifact bmotion-prob
Group de.hhu.stups
Version 0.3.1
Last update 06. November 2016
Organization not specified
URL https://github.com/ladenberger/bmotion-prob
License Eclipse Public License, Version 1.0
Dependencies amount 6
Dependencies bmotion, prob2-ui-servlets, slf4j-api, logback-core, commons-cli, logback-classic,
There are maybe transitive dependencies!
Group de.hhu.stups
Version 0.3.1
Last update 06. November 2016
Organization not specified
URL https://github.com/ladenberger/bmotion-prob
License Eclipse Public License, Version 1.0
Dependencies amount 6
Dependencies bmotion, prob2-ui-servlets, slf4j-api, logback-core, commons-cli, logback-classic,
There are maybe transitive dependencies!
probkodkod from group de.hhu.stups (version 1.0.6)
Wrapper to use Kodkod in ProB.
0 downloads
Artifact probkodkod
Group de.hhu.stups
Version 1.0.6
Last update 07. October 2016
Organization not specified
URL https://github.com/hhu-stups/probkodkod
License MIT License
Dependencies amount 2
Dependencies org.ow2.sat4j.core, prologlib,
There are maybe transitive dependencies!
Group de.hhu.stups
Version 1.0.6
Last update 07. October 2016
Organization not specified
URL https://github.com/hhu-stups/probkodkod
License MIT License
Dependencies amount 2
Dependencies org.ow2.sat4j.core, prologlib,
There are maybe transitive dependencies!
de.prob2.kernel from group de.hhu.stups (version 4.13.1)
The ProB Java API, including Groovy extensions
0 downloads
Artifact de.prob2.kernel
Group de.hhu.stups
Version 4.13.1
Last update 25. March 2024
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 3
Dependencies prob-java, groovy, groovy-jsr223,
There are maybe transitive dependencies!
Group de.hhu.stups
Version 4.13.1
Last update 25. March 2024
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 3
Dependencies prob-java, groovy, groovy-jsr223,
There are maybe transitive dependencies!
prob2-ui-servlets from group de.hhu.stups (version 2.1.0)
Deprecated Part of the ProB 2 Rodin Plugin. Do not use this!
0 downloads
Artifact prob2-ui-servlets
Group de.hhu.stups
Version 2.1.0
Last update 18. August 2021
Organization not specified
URL https://github.com/bendisposto/probparsers
License Eclipse Public License, Version 1.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group de.hhu.stups
Version 2.1.0
Last update 18. August 2021
Organization not specified
URL https://github.com/bendisposto/probparsers
License Eclipse Public License, Version 1.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Page 2 from 3 (items total 23)