CArL-Storm - the Computer ARithmetic and Logic library for the probabilistic model checker Storm
7.5K
This is carl-storm on top of the storm-basesystem: https://hub.docker.com/r/movesrwth/storm-basesystem
For more information see: https://github.com/moves-rwth/carl-storm.
Content type
Image
Digest
sha256:6116caf3d…
Size
683.9 MB
Last updated
3 days ago
docker pull movesrwth/carl-storm:ci-debug