Bumped versions in storm-dependencies

moves-rwth / docker-storm

Dockerfiles related to Storm

1 stars 0 forks source link

Closed volkm closed 6 months ago

volkm commented 6 months ago

Bumped carl-storm to 14.27 and SoPlex to 700
Removed build scripts for storm-basesystem and storm-dependencies in favor of CI actions.
Updated documentation