PyPI page
Home page
Author:
The stormvogel team
Summary:
Probabilistic Model Checking for almost everyone
Latest version:
0.12.1
Required dependencies:
bidict
|
deprecated
|
ipywidgets
|
matplotlib
|
networkx
|
numpy
|
pandas
|
pydot
|
pyvis
|
sympy
Optional dependencies:
cairosvg
|
gymnasium
|
imageio
|
pillow
|
pygame
|
scipy
|
stormpy
|
svgpathtools
|
umbi
|
z3-solver
Downloads last day:
3
Downloads last week:
174
Downloads last month:
381