https://github.com/jaantollander/install-minizinc-ortools
Shell scripts for installing MiniZinc and Google OR-Tools on Linux.
https://github.com/jaantollander/install-minizinc-ortools
linux minizinc or-tools
Last synced: 4 months ago
JSON representation
Shell scripts for installing MiniZinc and Google OR-Tools on Linux.
- Host: GitHub
- URL: https://github.com/jaantollander/install-minizinc-ortools
- Owner: jaantollander
- License: mit
- Created: 2021-12-06T09:38:51.000Z (almost 4 years ago)
- Default Branch: master
- Last Pushed: 2024-02-20T23:13:07.000Z (over 1 year ago)
- Last Synced: 2025-04-13T02:14:28.153Z (7 months ago)
- Topics: linux, minizinc, or-tools
- Language: Shell
- Homepage:
- Size: 6.84 KB
- Stars: 3
- Watchers: 2
- Forks: 1
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Scripts for Installing MiniZinc and OR-Tools on Linux
These scripts are tested on Ubuntu 20.04. They can be modified for other Linux distributions. Credits for @juanmarcosdev for the helpful Dockerfile: https://github.com/juanmarcosdev/minizinc-or-tools.
## Instructions
Let's install `wget` if we don't already have it.
```bash
apt-get update
apt-get install wget -y
```
Now, we can use the scripts to install MiniZinc and Google OR-Tools.
The [`install-minizinc.sh`](./install-minizinc.sh) shell script downloads MiniZinc from GitHub releases, extracts the archive to `$HOME/bin` directory, removes the extracted archive and write the exports for the path environment variables to `$HOME/.bashrc`.
```bash
./install-minizinc
```
The [`install-or-tools.sh`](./install-or-tools.sh) shell script downloads Google OR-Tools from GitHub releases, extracts the archive to `$HOME/bin` directory, removes the extracted archive and creates a solver configuration file to `$HOME/.minizinc/solvers/or-tools.msc`.
```bash
./install-or-tools
```
## Usage
We can use the solver with the name `or-tools`.
```bash
minizinc --solver or-tools
```