(6 intermediate revisions by the same user not shown) | |||
Line 3: | Line 3: | ||
== ProB Source Code == | == ProB Source Code == | ||
{{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 == | ||
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 |
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:
The documentation for the Java API to ProB can be found here.