安装： git clone https://github.com/Practical-Formal-Methods/storm virtualenv --python=/usr/bin/python3.7 venv source venv/bin/activate cd storm python setup.py install 用法： storm --benchmark=[PATH TO SEED FILES] --solverbin=[PATH TO SOLVER BIN] --solv