Developer Manual: Difference between revisions

No edit summary
Line 18: Line 18:


The documentation for the Java API to ProB can be found [[ProB_Java_API|here]].
The documentation for the Java API to ProB can be found [[ProB_Java_API|here]].


* A [https://www3.hhu.de/stups/handbook/prob2/prob_handbook.html#prob2-java-api new ProB Developer Manual] is available.
* A [https://www3.hhu.de/stups/handbook/prob2/prob_handbook.html#prob2-java-api new ProB Developer Manual] is available.
* [[BSynthesis|How to use ProB2 for Program Synthesis]]
* [[BSynthesis|How to use ProB2 for Program Synthesis]]
* [https://pkoerner.github.io/lisb-doc/ LisB]

Revision as of 10:40, 1 October 2024


ProB Source Code

The kernel of ProB is written in Prolog and you can download the latest Prolog sourcecode snapshot from: https://stups.hhu-hosting.de/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.