No edit summary |
|||
Line 2: | Line 2: | ||
__NOTOC__ | __NOTOC__ | ||
=== The ProB Java Core and UI === | |||
see the README in our [https://github.com/bendisposto/prob Github Repository] | see the README in our [https://github.com/bendisposto/prob Github Repository] | ||
see the README in our Github Repository
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.