Download JAR files tagged by rodin with all dependencies

rodin-eventb-ast from group de.hhu.stups (version 3.8.0)

The AST library extracted from the Rodin Platform.

Group: de.hhu.stups Artifact: rodin-eventb-ast
Show all versions Show documentation Show source

2 downloads

Artifact rodin-eventb-ast
Group de.hhu.stups
Version 3.8.0
Last update 06. October 2023
Organization not specified
URL https://github.com/hhu-stups/rodin-ast
License Eclipse Public License, V 1.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

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

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 1 from 1 (items total 3)