Update Docker scripts - Githubissues

moves-rwth / docker-storm

Dockerfiles related to Storm

1 stars 0 forks source link

Update Docker scripts #10

Closed volkm closed 1 month ago

volkm commented 1 month ago

Bumped versions of carl-storm, MathSAT, Soplex and Gurobi
Use token in CI
Support for dependabot