Developer Manual: Difference between revisions

 
(6 intermediate revisions by the same user not shown)
Line 3: Line 3:


== ProB Source Code ==
== ProB Source Code ==
{{ProBSourceCode}}


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/ http://www3.hhu.de/stups/downloads/prob/source/]
You may also wish to obtain related Java sources:
* The source code for the ProB parsers (B, LTL, ...) can be obtained from: [https://https://github.com/hhu-stups/probparsers https://github.com/hhu-stups/probparsers].
* The ProB2-Java-API (also known as ProB2) source code can be obtained from: [https://github.com/hhu-stups/prob2_kernel https://github.com/hhu-stups/prob2_kernel].
* The ProB2-Java-FX UI source code can be obtained from: [https://github.com/hhu-stups/prob2_ui https://github.com/hhu-stups/prob2_ui].
* The B to Java value translator can also be useful and is a separate project: [https://github.com/hhu-stups/value-translator https://github.com/hhu-stups/value-translator].
* The Plugin for Rodin is also a separate project: [https://github.com/hhu-stups/prob-rodinplugin https://github.com/hhu-stups/prob-rodinplugin].
* The Alloy to B translator is here: [https://github.com/hhu-stups/alloy2b https://github.com/hhu-stups/alloy2b].


<!--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 ==
Line 26: Line 19:
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]]
* [https://pkoerner.github.io/lisb-doc/ LisB], a Clojure API built-on top of the ProB-JAVA API with DSL features

Latest 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.