CArL - the Computer ARithmetic and Logic library
10K+
This is carl (in the master-14 variant, as required for storm) on top of the storm-basesystem: https://hub.docker.com/r/movesrwth/storm-basesystem
For more information see: https://github.com/smtrat/carl.
Content type
Image
Digest
sha256:69523fb2b…
Size
365.8 MB
Last updated
about 4 years ago
docker pull movesrwth/carl:master14-debug