Statistical Model Checker (SMC) Predictor predicts the fastest SMC tool for a given SBML model and property pattern query, among PRISM, PLASMA-Lab, Ymer, MRMC and MC2.
If you want to build the source code, please clone the project or download source code as zip file.
The code includes eclipse (https://www.eclipse.org/) project file which allows you easly import project into eclipse for development.
You need to have Python 3 with sklearn module(http://scikit-learn.org/stable/), Java "1.8" or above versions on your system.
Additionally you need to modify the configs/python_config.properties file to locate your python3 path.
If you just want to use the tool, the binary file are available for at http://www.smcpredictor.com/download.html For more information on running the tool and tutorials please visit http://www.smcpredictor.com