Developer Manual: Difference between revisions

No edit summary
 
Line 4: Line 4:
== ProB Source Code ==
== ProB Source Code ==
{{ProBSourceCode}}
{{ProBSourceCode}}
<!--Edit with Template:User_Manual_Index (type "Template: ProBSourceCode" into Go field to the left and type return) -->


== ProB Prolog Source Code ==
== ProB Prolog Source Code ==

Latest revision as of 17:03, 4 February 2022


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.