PyPI page
Home page
Author:
The stormvogel team
License:
GPLv3
Summary:
Probabilistic Model Checking for almost everyone
Latest version:
0.11.0
Required dependencies:
anyio
|
bidict
|
deprecated
|
gymnasium
|
imageio
|
ipywidgets
|
jupyter
|
lxml
|
matplotlib
|
mock
|
nbdime
|
nbmake
|
nbval
|
networkx
|
numpy
|
pandas
|
pillow
|
pygame
|
pyvis
|
sphinx-autoapi
|
svgpathtools
|
sympy
Downloads last day:
14
Downloads last week:
118
Downloads last month:
231