@@ -13,6 +13,16 @@ The ProB binary and source distributions contain the nauty library (http://cs.an
...
@@ -13,6 +13,16 @@ 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).
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.
# ProB 2.0
The development repository for ProB 2.0 is avaliable from https://github.com/bendisposto/prob2
# Setting up the development environment
# Setting up the development environment
- Clone the repository (http://github.com/bendisposto/prob)
- Clone the repository (http://github.com/bendisposto/prob)
