Group: de.hhu.stups - All Dependencies

eventbstruct · Part of the ProB Parser library

TLC integration into ProB · Use the TLC model checker within ProB.

BMotionWeb Server ProB Module · BMotionWeb Server ProB Module

ProB Kodkod · Wrapper to use Kodkod in ProB.

virtual-kata-lib · Virtual Kata Compiler

typechecker · Part of the ProB Parser library

propra_ss17.diary · Propra 1 Projekt 6 Helper Library

de.prob2.commandline · The ProB 2.0 Kernel command-line interface

voparser · ProB Validation Obligation parser

prob-java · Core of the ProB Java API

ProB Java API BOM · ProB Java API BOM (Bill of Materials) for improved version management when depending on multiple parts of the ProB Java API