GitHub repository: Gurobi/docker-manager
Primary language: Dockerfile
Description: The gurobi/manager image provides a Docker image ready to be deployed as a Cluster Manager.