GitHub repository: juanmarcosdev/docker-minizinc-google-or-tools
Primary language: Dockerfile
Description: Repo of Dockerfile for Docker image of MiniZinc bundled with OR-Tools Solver