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

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

0 downloads

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!

voparser from group de.hhu.stups (version 0.2.1)

ProB Validation Obligation parser

Group: de.hhu.stups Artifact: voparser
Show all versions Show documentation Show source

0 downloads

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!

eventbalg from group de.hhu.stups (version 2.12.5)

Part of the ProB Parser library

Group: de.hhu.stups Artifact: eventbalg
Show all versions Show documentation Show source

0 downloads

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!

tlc4b from group de.hhu.stups (version 1.1.0)

Use the TLC model checker within ProB.

Group: de.hhu.stups Artifact: tlc4b
Show all versions Show documentation Show source

0 downloads

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!

typechecker from group de.hhu.stups (version 2.9.32)

Part of the ProB Parser library

Group: de.hhu.stups Artifact: typechecker
Show all versions Show documentation Show source

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!

translator from group de.hhu.stups (version 2.9.23)

Part of the ProB Parser library

Group: de.hhu.stups Artifact: translator
Show all versions Show documentation Show source

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!

bmotion-prob from group de.hhu.stups (version 0.3.1)

BMotionWeb Server ProB Module

Group: de.hhu.stups Artifact: bmotion-prob
Show all versions Show documentation Show source

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!

probkodkod from group de.hhu.stups (version 1.0.6)

Wrapper to use Kodkod in ProB.

Group: de.hhu.stups Artifact: probkodkod
Show all versions Show documentation Show source

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!

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

The ProB Java API, including Groovy extensions

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

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!

prob2-ui-servlets from group de.hhu.stups (version 2.1.0)

Deprecated Part of the ProB 2 Rodin Plugin. Do not use this!

Group: de.hhu.stups Artifact: prob2-ui-servlets
Show all versions Show documentation Show source

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!

Page 2 from 3 (items total 23)