movesrwth/storm-dependencies repository overview

Linux basis with required packages and (optional) dependencies for Storm modelchecker.

Build upon: https://hub.docker.com/r/movesrwth/carl-storm⁠