@@ -13,6 +13,9 @@ The ProB binary and source distributions contain the nauty library (http://cs.an
For availability of commercial support, please contact Formal Mind (http://www.formalmind.com).
# Bugs
Please report bugs and feature requests at http://jira.cobra.cs.uni-duesseldorf.de/
# Prolog Source Code
The latest source code of the Prolog binary can be downloaded from http://nightly.cobra.cs.uni-duesseldorf.de/source/. To build the Prolog binaries you require a Sicstus 4 (http://sicstus.sics.se/index.html) licence.
