Sign inSign up

movesrwth/stormpy

By movesrwth

•Updated 2 days ago

Python Bindings for the Probabilistic Model Checker Storm

Image
2

10K+

movesrwth/stormpy repository overview

For more information see: https://moves-rwth.github.io/stormpy⁠.

Tag summary

Content type

Image

Digest

sha256:cf3703036…

Size

1.4 GB

Last updated

2 days ago

docker pull movesrwth/stormpy:stable