Developer Manual

Revision as of 17:03, 4 February 2022 by Michael Leuschel (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

ProB Source Code

The kernel of ProB is written in Prolog and you can download the latest Prolog sourcecode snapshot from:

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.