Group: de.hhu.stups - All Dependencies

prologlib 2.12.2

prologlib · Part of the ProB Parser library

Oct 18, 2022
12 usages
bparser 2.12.2

bparser · Part of the ProB Parser library

Oct 18, 2022
7 usages
parserbase 2.12.2

parserbase · Part of the ProB Parser library

Oct 18, 2022
7 usages

SableCC - Stups fork (runtime library) · This is the runtime support library for the Stups fork of SableCC. It provides common classes and interfaces used by the generated parsers at runtime.

Apr 05, 2022
7 usages
ltlparser 2.12.2

ltlparser · Part of the ProB Parser library

Oct 18, 2022
6 usages
tla2bAST 1.1.4

TLA+ to B-AST · Translator from TLA+ to ProB's AST representation.

Mar 11, 2021
2 usages
0 stars
tlatools 1.0.2

TLA+ Tools · Modified version of the TLA+ tools for usage in ProB

Feb 24, 2016
2 usages
2 stars
unicode 2.12.2

unicode · Part of the ProB Parser library

Oct 18, 2022
2 usages
answerparser 2.12.2

answerparser · Part of the ProB Parser library

Oct 18, 2022
2 usages

de.prob2.kernel · The ProB 2.0 Kernel library

Jan 06, 2022
2 usages
3 stars
theorymapping 2.12.2

theorymapping · Part of the ProB Parser library

Oct 18, 2022
1 usages
bmotion 0.3.1

BMotionWeb Server Common Module · BMotionWeb Server Common Module

Nov 07, 2016
1 usages
0 stars
eventbalg 2.12.2

eventbalg · Part of the ProB Parser library

Oct 18, 2022
1 usages
alloy-core 5.1.0

Alloy Core · The core of the Alloy tools

Mar 10, 2020
1 usages
0 stars

Rodin EventB AST · The AST library extracted from the Rodin Platform.

Feb 24, 2016
1 usages
0 stars
cliparser 2.12.2

cliparser · Part of the ProB Parser library

Oct 18, 2022
1 usages

prob2-ui-servlets · Deprecated Part of the ProB 2 Rodin Plugin. Do not use this!

Aug 18, 2021
1 usages
0 stars
ptolemy-jfmi 1.1.0

JFMI · A Java Wrapper for the Functional Mock-up Interface. This library is part of the Ptolemy project.

Aug 03, 2015
1 usages
1 stars

Value Translator · Library to translate Classical B values into Java objects.

Nov 30, 2020
1 usages
1 stars
alloy2b 1.2

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

Mar 10, 2020
1 usages
1 stars
translator 2.9.23

translator · Part of the ProB Parser library

Nov 07, 2019
1 usages
9 stars
ltl-dsl 0.1.3

LTL Pattern DSL Parser · Parser for a LTL Pattern DSL

Feb 20, 2020
1 usages

Infolog Parser · Tool to extract Prolog-Doc style comments from a .pl file. This library is a part of the Infolog system.

Aug 09, 2015
0 stars
bmotion-prob 0.3.1

BMotionWeb Server ProB Module · BMotionWeb Server ProB Module

Nov 07, 2016
0 stars

Advertisement

Top Dependency Usages

Feb 13, 2021
95k usages
8.2k stars
Oct 08, 2022
69k usages
13k stars
Nov 25, 2022
51k usages
1.8k stars
Feb 28, 2022
27k usages
43k stars
Nov 18, 2022
25k usages
2.3k stars
image

Maven Repository

Search Maven dependencies with Maven Repository Chrome Extension

Add to Chrome