Implementation of Complex Systems Models from scratch of Computational Models for Complex Systems course @ Department of Computer Science of University of Pisa
- Python 2.7
- roadrunner (pip install roadrunner)
- tellurium (pip install tellurium)
- numpy
- matplotlib
- scipy
1. sudo apt update
2. sudo apt -y install make gcc g++ default-jdk git
3. sudo mkdir /opt/prism
4. cd /opt/prism
5. sudo git clone https://github.com/prismmodelchecker/prism.git
6. cd prism/prism
7. sudo make && make test
8. sudo ./install.sh