movesrwth/storm-basesystem repository overview

Linux basis with required packages for Storm modelchecker, but without carl or storm.

If you want this base-installation with carl, see: https://hub.docker.com/r/movesrwth/carl⁠