GitHub repository: moves-rwth/stormpy
Primary language: C++
Created: 2016-12-20T14:58:44Z
Description: Python Bindings for the Probabilistic Model Checker Storm