Getting the code
SCH-IMP's source code is hosted on GitHub. There are two repositories:
prism-ext, a fork of the POMDP extension of the PRISM model checker with features specific to SCH-IMP;
schimp, the code for the SCH-IMP tool itself.
To download the code, clone the
schimp repository, then initialise its submodules (of which the
prism-ext repository is one):
git clone https://github.com/schimp/schimp cd schimp git submodule update --init --remote
To build PRISM and the SCH-IMP tool:
# From the schimp/ directory: ant dist
schimp.jar and the PRISM native code libraries to
dist/. For help with running
schimp.jar, follow the Getting Started instructions.