jaantollander / install-minizinc-ortools

Shell scripts for installing MiniZinc and Google OR-Tools on Linux.

Geek Repo

Github PK Tool