Developer Manual

Revision as of 08:48, 13 January 2021 by Michael Leuschel (talk | contribs)


ProB Source Code

The kernel of ProB is written in Prolog and you can download the latest Prolog sourcecode snapshot from: http://www3.hhu.de/stups/downloads/prob/source/

You may also wish to obtain related Java sources:


ProB Prolog Source Code

ProB Java API (aka ProB 2.0)

The documentation for the Java API to ProB can be found here.


A new ProB Developer Manual is available.