Download de.hhu.stups JAR files with all 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 0
Dependencies No dependencies
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!

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!

alloy-core from group de.hhu.stups (version 5.1.0)

The core of the Alloy tools

Group: de.hhu.stups Artifact: alloy-core
Show documentation Show source

0 downloads

Artifact alloy-core
Group de.hhu.stups
Version 5.1.0
Last update 10. March 2020
Organization not specified
URL https://github.com/hhu-stups/org.alloytools.alloy
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
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!

alloy2b from group de.hhu.stups (version 1.08-BETA)

The Parser for our translation from Alloy to B returning a Prolog Term.

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

0 downloads

Artifact alloy2b
Group de.hhu.stups
Version 1.08-BETA
Last update 09. February 2019
Organization not specified
URL https://github.com/hhu-stups/alloy2b
License Eclipse Public License, Version 1.0
Dependencies amount 1
Dependencies kotlin-stdlib-jdk8,
There are maybe transitive dependencies!

propra_ss17.diary from group de.hhu.stups (version 0.1.1)

Propra 1 Projekt 6 Helper Library

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

0 downloads

Artifact propra_ss17.diary
Group de.hhu.stups
Version 0.1.1
Last update 03. July 2017
Organization not specified
URL http://www.bendisposto.de
License Eclipse Public License, Version 1.0
Dependencies amount 3
Dependencies guava, gson, unirest-java,
There are maybe transitive dependencies!

virtual-kata-lib from group de.hhu.stups (version 2.0.0)

Virtual Kata Compiler

Group: de.hhu.stups Artifact: virtual-kata-lib
Show all versions Show documentation Show source

0 downloads

Artifact virtual-kata-lib
Group de.hhu.stups
Version 2.0.0
Last update 30. November 2016
Organization not specified
URL https://github.com/bendisposto/virtual-kata-lib
License Eclipse Public License, Version 1.0
Dependencies amount 1
Dependencies junit,
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!

Page 3 from 3 (items total 35)