No edit summary |
|||
Line 6: | Line 6: | ||
=== The Prolog Sources === | === 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. | 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/ http://nightly.cobra.cs.uni-duesseldorf.de/source/]. To compile the sources you need a [http://www.sics.se/isl/sicstuswww/site/index.html SICStus Prolog] licence. |
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.