GitHub repository: juanmarcos935/minizinc-or-tools
Primary language: Dockerfile
Created: 2020-05-18T04:29:11Z
Description: Repo of Dockerfile for Docker image of MiniZinc bundled with OR-Tools Solver