Created: 2012-08-21 13:53
Updated: 2019-03-06 12:46
License: epl-2.0

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

Cookies help us deliver our services. By using our services, you agree to our use of cookies Learn more