movesrwth/carl repository overview

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⁠.