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:47af5de3b…
Size
6.1 GB
Last updated
2 days ago
docker pull movesrwth/stormpy:ci-debug