# 1.2. Installation¶

A complete installation of the MiniZinc system comprises the MiniZinc compiler tool chain, one or more solvers, and (optionally) the MiniZinc IDE.

The easiest way to get a full, working MiniZinc system is to use the bundled binary packages, available from http://www.minizinc.org/software.html.

The bundled binary packages contain the compiler and IDE, as well as the following solvers: Gecode, Chuffed, COIN-OR CBC, and a interfaces to the Gurobi and CPLEX solvers (the Gurobi and CPLEX libraries are not included).

Alternatively, it is possible to compile all components from source code, as described in Installation from Source Code.

## 1.2.1. Microsoft Windows¶

To install the bundled binary packages, simply download the installer, double-click to execute it, and follow the prompts. Note: 32 bit Windows installations are no longer supported in the bundled binary packages.

After installation is complete, you can find the MiniZinc IDE installed as a Windows application. The file extensions .mzn, .dzn and .fzn are linked to the IDE, so double-clicking any MiniZinc file should open it in the IDE.

If you want to use MiniZinc from a command prompt, you need to add the installation directory to the PATH environment variable. In a Windows command prompt you could use the following command:

C:\>setx PATH "%PATH%;C:\Program Files\MiniZinc 2.6.3 (bundled)\"


## 1.2.2. Linux¶

The MiniZinc bundled binary distribution for Linux is provided using three different distribution methods: Snap, AppImage, and an archive containing all necessary files. The capabilities of each package is the same, but it depends on your linux distribution which method is the easiest to use. Note: linux bundles are compiled to be compatible with many linux distributions using a x86_64 architecture, but some dependencies on low level libraries cannot be avoided. Make use of the MiniZinc issue trackers if you encounter any problems.

### 1.2.2.1. Snap¶

The MiniZinc Snap is the easiest way to install the MiniZinc bundle if Snap (https://snapcraft.io/) is available on you system. The installation will provide the minizinc command within terminal environments and will add an application entry for the MiniZincIDE. The IDE can be started from the command line using minizinc.ide. The following command will commence the installation the MiniZinc snap:

$snap install minizinc --classic  Note: the MiniZinc snap requires the classic permission model to access solvers that are installed somewhere else on your system. An advantage of using the MiniZinc snap is that it will be automatically updated whenever a new version of the snap is available. Using snap channels it is also possible to automatically follow the developmental versions of MiniZinc. More information about the MiniZinc snap can be found in the Snap Store. ### 1.2.2.2. AppImage¶ The MiniZinc AppImage provides a way of installing the MiniZinc bundles without any added requirements. AppImages (https://appimage.org/) provide self-contained versions of applications with all their required dependencies. To use the MiniZinc AppImage you simply download the AppImage, make it executable, and run: $ chmod +x MiniZincIDE-2.6.3-x86_64.AppImage
$./MiniZincIDE-2.6.3-x86_64.AppImage  AppImages have no standard integration with the desktop environment. A script has been added to the MiniZinc AppImage to integrate the application into both the terminal and the desktop environment. The one requirement for this script is that the AppImage CANNOT be moved after the install script has been run. A suggestion would be to store the AppImages in ~/Applications/ or /opt/Applications/. The following commands move the AppImage to the second location and install minizinc and MiniZincIDE to /usr/local/bin and will add a desktop entry and its corresponding icon to$HOME/.local/share/{applications,icons}:

$mv ./MiniZincIDE-2.6.3-x86_64.AppImage /opt/Applications/$ /opt/Applications/MiniZincIDE-2.6.3-x86_64.AppImage install


Note: to change the installation locations can be changed using the environmental variables $BIN_LOCATION and$DESKTOP_LOCATION. The default behaviour can be achieved using the following command:

$BIN_LOCATION=/usr/local/bin DESKTOP_LOCATION=$HOME/.local/share ./MiniZincIDE-2.6.3-x86_64.AppImage install


### 1.2.2.3. Archive¶

The MiniZinc archive bundle is straightforward, but doesn’t offer any automatic integrations with the desktop environment. After downloading, uncompress the archive, for example in your home directory or any other location where you want to install it: