Download JAR files tagged by prob with all 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!

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

Modified version of the TLA+ tools for usage in ProB

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

0 downloads

Artifact tlatools
Group de.hhu.stups
Version 1.1.0
Last update 28. October 2024
Organization not specified
URL https://github.com/hhu-stups/tlatools
License MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

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

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

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

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

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

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

0 downloads

Artifact de.prob2.commandline
Group de.hhu.stups
Version 4.13.1

theorymapping from group de.hhu.stups (version 2.13.5)

Part of the ProB Parser library

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

0 downloads

Artifact theorymapping
Group de.hhu.stups
Version 2.13.5
Last update 08. November 2024
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!

cliparser from group de.hhu.stups (version 2.13.5)

Part of the ProB Parser library

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

0 downloads

Artifact cliparser
Group de.hhu.stups
Version 2.13.5
Last update 08. November 2024
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!

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

ProB Java API BOM (Bill of Materials) for improved version management when depending on multiple parts of the ProB Java API

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

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact prob-java-bom
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 0
Dependencies No dependencies
There are maybe transitive dependencies!

answerparser from group de.hhu.stups (version 2.13.5)

Parser for a subset of Prolog term syntax, used to read answers from the ProB Prolog core (probcli) in socket-server mode. For internal use only by the ProB Java API and the ProB plugin for Rodin!

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

0 downloads

Artifact answerparser
Group de.hhu.stups
Version 2.13.5
Last update 08. November 2024
Organization not specified
URL https://github.com/bendisposto/probparsers
License Eclipse Public License, Version 1.0
Dependencies amount 2
Dependencies sablecc-runtime, prologlib,
There are maybe transitive dependencies!

Page 2 from 2 (items total 19)