Download de.hhu.stups JAR files with all dependencies

Search JAR files by class name

sablecc from group de.hhu.stups (version 3.8.0)

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

0 downloads

Artifact sablecc
Group de.hhu.stups
Version 3.8.0

tla2bAST from group de.hhu.stups (version 1.3.0)

Translator from TLA+ to ProB's AST representation.

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

0 downloads

Artifact tla2bAST
Group de.hhu.stups
Version 1.3.0
Last update 02. May 2024
Organization not specified
URL https://github.com/hhu-stups/tla2bAST
License Eclipse Public License, Version 1.0
Dependencies amount 3
Dependencies tlatools, prologlib, bparser,
There are maybe transitive 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!

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!

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

The ProB Groovy shell command-line interface

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
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!

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!

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!

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!

ltl-dsl from group de.hhu.stups (version 0.2.1)

Parser for a LTL Pattern DSL

Group: de.hhu.stups Artifact: ltl-dsl
Show all versions Show documentation Show source

0 downloads

Artifact ltl-dsl
Group de.hhu.stups
Version 0.2.1
Last update 11. August 2023
Organization not specified
URL https://gitlab.cs.uni-duesseldorf.de/stups/prob/ltl-pattern-parser
License Eclipse Public License, Version 1.0
Dependencies amount 4
Dependencies antlr4-runtime, parserbase, prologlib, antlr4,
There are maybe transitive dependencies!

value-translator from group de.hhu.stups (version 0.1.3)

Library to translate Classical B values into Java objects.

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

0 downloads

Artifact value-translator
Group de.hhu.stups
Version 0.1.3
Last update 11. August 2023
Organization not specified
URL https://github.com/hhu-stups/value-translator
License MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

Page 2 from 4 (items total 35)