Group: de.hhu.stups - All Dependencies

prologlib · Part of the ProB Parser library

parserbase · Part of the ProB Parser library

bparser · Part of the ProB Parser library

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.

ltlparser · Part of the ProB Parser library

unicode · Part of the ProB Parser library

answerparser · Part of the ProB Parser library

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

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

de.prob2.kernel · The ProB 2.0 Kernel library

translator · Part of the ProB Parser library

theorymapping · Part of the ProB Parser library

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

cliparser · Part of the ProB Parser library

LTL Pattern DSL Parser · Parser for a LTL Pattern DSL

BMotionWeb Server Common Module · BMotionWeb Server Common Module

eventbalg · Part of the ProB Parser library

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

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

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

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

Alloy Core · The core of the Alloy tools

SableCC - Stups fork · This version of SableCC enriches the abstract syntax tree with information about tokens.

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