Search Docker Hub
stormpy
By movesrwth
Python Bindings for the Probabilistic Model Checker Storm
10K+
For more information see: https://moves-rwth.github.io/stormpy.
Content type
Image
Digest
sha256:c19a2a39d…
Size
1.7 GB
Last updated
4 days ago
docker pull movesrwth/stormpy:ci