ProB 2.0
dgelessus Remove TERM=dumb from gradlew calls in .travis.yml
Gradle works fine with the Travis console even without this variable
(see prob2-ui build for example).
Latest commit 92b6667 Dec 3, 2018
Type Name Latest commit message Commit time
Failed to load latest commit information.

ProB 2.0

Build Status SonarCloud Tech Debt

IMPORTANT: The layout of the repository has changed! The Eclipse/Rodin plugin was moved to a separate repository: This repository only contains the Kernel of ProB 2.0.

The last version before the restructuring is tagged as preRestructure.

The project is intended for internal usage, do not rely on any of the features or interfaces in this project.

The source code of the current ProB release is located at



Please report bugs and feature requests at

Setting up a development environment

ProB 2.0 works with Java 7 on Mac OS, Windows and most Linux distributions.

We assume, you have a fresh copy of Eclipse and an empty workspace at hand. Furthermore, we assume that you have a recent version of gradle ( installed on your computer. Gradle 2.0 or newer will be sufficient.

  1. In Eclipse: Install the Groovy-Eclipse plugin by following the instructions on (use the snapshot builds for Eclipse 4.5 or newer).
  1. Clone the prob2 repository to some location (e.g. gitrepo/prob2). We assume that gitrepo is a directory outside your Eclipse workspace.
  2. cd into gitrepo/prob2/de.prob2.kernel, switch to the development branch (git checkout develop) and run gradle eclipse
  3. In Eclipse, import project from gitrepo/prob2/de.prob2.kernel


The ProB 2.0 source code is distributed under the Eclipse Public License - v 2.0.

ProB 2.0 comes with ABSOLUTELY NO WARRANTY OF ANY KIND ! This software is distributed in the hope that it will be useful but WITHOUT ANY WARRANTY. The author(s) do not accept responsibility to anyone for the consequences of using it or for whether it serves any particular purpose or works at all. No warranty is made about the software or its performance.

(c) 2012-2018 Jens Bendisposto, all rights reserved