IMPORTANT: The layout of the repository has changed! The Eclipse/Rodin plugin was moved to a separate repository: http://github.com/bendisposto/prob2-plugin. 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 sourcecode of the current ProB2 Java API release is located at https://gitlab.cs.uni-duesseldorf.de/stups/prob/prob2_kernel and mirrored to https://github.com/hhu-stups/prob2_kernel
- Tutorial: https://www3.hhu.de/stups/prob/index.php/Tutorial13
- Developer Handbook: HTML PDF
Please report bugs and feature requests at https://probjira.atlassian.net
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 (http://www.gradle.org/) installed on your computer. Gradle 2.0 or newer will be sufficient.
- In Eclipse: Install the Groovy-Eclipse plugin by following the instructions on https://github.com/groovy/groovy-eclipse/wiki (use the snapshot builds for Eclipse 4.5 or newer).
- Clone the prob2 repository to some location (e.g. gitrepo/prob2). We assume that gitrepo is a directory outside your Eclipse workspace.
- cd into gitrepo/prob2/de.prob2.kernel, switch to the development branch (git checkout develop) and run
gradle eclipse - 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-2020 Jens Bendisposto et.al., all rights reserved