|
|
| (15 intermediate revisions by 2 users not shown) |
| Line 1: |
Line 1: |
| [[Category:Developer Manual]] | | #REDIRECT [[Running_ProB_from_source]] |
| __NOTOC__
| |
| | |
| see the README in our [https://github.com/bendisposto/prob Github Repository]
| |
| | |
| | |
| === The Prolog Sources ===
| |
| If you want to contribute to the Prolog part of ProB, if you want to extend the ProB API, or need them as reference, you need the Prolog sources which can be downloaded from [http://nightly.cobra.cs.uni-duesseldorf.de/source/]. To compile the sources you need a SICStus Prolog licence.
| |