Help

System theme

Docker Suite

movesrwth/stormpy

•Updated 4 days ago

Python Bindings for the Probabilistic Model Checker Storm

Image

2

10K+

Tags for movesrwth/stormpy

Sort by

TAG

Last pushed 4 days by i2docker

docker pull movesrwth/stormpy:ci

Digest	OS/ARCH	Compressed size
c19a2a39d152	linux/amd64	1.72 GB

TAG

Last pushed 4 days by i2docker

docker pull movesrwth/stormpy:ci-debug

Digest	OS/ARCH	Compressed size
bec61d248461	linux/amd64	4.5 GB

TAG

Last pushed about 1 month by i2docker

docker pull movesrwth/stormpy:stable-debug

Digest	OS/ARCH	Compressed size
5566f0104b0d	linux/amd64	1.41 GB
dd27a691daaf	linux/arm64	1.53 GB

TAG

Last pushed about 1 month by i2docker

docker pull movesrwth/stormpy:stable

Digest	OS/ARCH	Compressed size
5eef735a9658	linux/amd64	676.42 MB
d29c5b23c08c	linux/arm64	806.04 MB

TAG

Last pushed about 1 month by i2docker

docker pull movesrwth/stormpy:1.14.0

Digest	OS/ARCH	Compressed size
3fb55611981c	linux/amd64	676.42 MB
831c36c3d814	linux/arm64	806.04 MB

TAG

Last pushed about 1 month by i2docker

docker pull movesrwth/stormpy:1.14.0-debug

Digest	OS/ARCH	Compressed size
c0b7f986c22e	linux/amd64	1.41 GB
b260339da409	linux/arm64	1.53 GB

TAG

Last pushed 4 months by i2docker

docker pull movesrwth/stormpy:1.13.2

Digest	OS/ARCH	Compressed size
c1b954663586	linux/amd64	759.39 MB
392c081f8540	linux/arm64	889.18 MB

TAG

Last pushed 4 months by i2docker

docker pull movesrwth/stormpy:1.13.2-debug

Digest	OS/ARCH	Compressed size
4d9e1492f6bb	linux/amd64	1.56 GB
cd3910527498	linux/arm64	1.69 GB

TAG

Last pushed 4 months by i2docker

docker pull movesrwth/stormpy:1.13.1-debug

Digest	OS/ARCH	Compressed size
c075b2e338e7	linux/amd64	1.56 GB
971f81656c38	linux/arm64	1.69 GB

TAG

Last pushed 4 months by i2docker

docker pull movesrwth/stormpy:1.13.1

Digest	OS/ARCH	Compressed size
5cadc6beeee5	linux/amd64	759.76 MB
e59aa3a1ac50	linux/arm64	889.18 MB

TAG

Last pushed 4 months by i2docker

docker pull movesrwth/stormpy:1.13.0-debug

Digest	OS/ARCH	Compressed size
af02e703bc13	linux/amd64	1.56 GB
bd77dc9b6181	linux/arm64	1.69 GB

TAG

Last pushed 4 months by i2docker

docker pull movesrwth/stormpy:1.13.0

Digest	OS/ARCH	Compressed size
cad8fd565a9d	linux/amd64	759.14 MB
92160aa2bde1	linux/arm64	888.93 MB

TAG

Last pushed 7 months by i2docker

docker pull movesrwth/stormpy:1.12.0-debug

Digest	OS/ARCH	Compressed size
3942015a9151	linux/amd64	1.53 GB
7224a1685e97	linux/arm64	1.65 GB

TAG

Last pushed 7 months by i2docker

docker pull movesrwth/stormpy:1.12.0

Digest	OS/ARCH	Compressed size
2e8b9aef6d96	linux/amd64	755.15 MB
637f55a15ea9	linux/arm64	881.34 MB

TAG

Last pushed 12 months by i2docker

docker pull movesrwth/stormpy:1.11.3-debug

Digest	OS/ARCH	Compressed size
86e5f0f0eb93	linux/amd64	1.5 GB
1dbdee422b6c	linux/arm64	1.56 GB

TAG

Last pushed 12 months by i2docker

docker pull movesrwth/stormpy:1.11.3

Digest	OS/ARCH	Compressed size
105d92be0b75	linux/amd64	810.79 MB
8a2b593b4398	linux/arm64	881.23 MB

TAG

Last pushed 12 months by i2docker

docker pull movesrwth/stormpy:1.11.2

Digest	OS/ARCH	Compressed size
b5461d9f35bb	linux/amd64	803.06 MB
c579ef1b5e45	linux/arm64	878.27 MB

TAG

Last pushed 12 months by i2docker

docker pull movesrwth/stormpy:1.11.2-debug

Digest	OS/ARCH	Compressed size
f9618defde02	linux/amd64	1.49 GB
e7e899e565ca	linux/arm64	1.56 GB

TAG

Last pushed about 1 year by i2docker

docker pull movesrwth/stormpy:1.11.1

Digest	OS/ARCH	Compressed size
375749ef0816	linux/amd64	802.19 MB
e4e53eb0fd0e	linux/arm64	876.97 MB

TAG

Last pushed about 1 year by i2docker

docker pull movesrwth/stormpy:1.11.1-debug

Digest	OS/ARCH	Compressed size
5dafa782824f	linux/amd64	1.49 GB
cb80793f2a9d	linux/arm64	1.56 GB

TAG

Last pushed about 1 year by i2docker

docker pull movesrwth/stormpy:1.11.0

Digest	OS/ARCH	Compressed size
8a00e8c49b6f	linux/amd64	802.19 MB
c5f82710e5a5	linux/arm64	876.97 MB

TAG

Last pushed about 1 year by i2docker

docker pull movesrwth/stormpy:1.11.0-debug

Digest	OS/ARCH	Compressed size
2b77cf1f9479	linux/amd64	1.49 GB
d9f0f64a2d7f	linux/arm64	1.56 GB

TAG

Last pushed over 1 year by i2docker

docker pull movesrwth/stormpy:1.10.0-debug

Digest	OS/ARCH	Compressed size
4d601789436b	linux/amd64	1.99 GB
d8065734a51e	linux/arm64	2.06 GB

TAG

Last pushed over 1 year by i2docker

docker pull movesrwth/stormpy:1.10.0

Digest	OS/ARCH	Compressed size
64316b92fecf	linux/amd64	1.6 GB
78f9c83b14a0	linux/arm64	1.67 GB

TAG

Last pushed about 2 years by mvolk

docker pull movesrwth/stormpy:1.9.0-debug

Digest	OS/ARCH	Compressed size
ebfac1543218	linux/amd64	1.93 GB