---
title: Install MiniZinc on Linux | Snap Store
description: Get the latest version of MiniZinc for Linux - The bundled MiniZinc language
  toolchain and IDE
url: https://snapcraft.io/minizinc
---

# MiniZinc

[MiniZinc](https://snapcraft.io/publisher/minizinc "View all snaps from MiniZinc")

* [MiniZinc](https://snapcraft.io/publisher/minizinc "View all snaps from MiniZinc")
* [Development](https://snapcraft.io/search?categories=development)
* [Science](https://snapcraft.io/search?categories=science)

latest/stable 2.10.1

Install latest/stable of MiniZinc

---

**Install using the command line**

```
sudo snap install minizinc --classic
```

Don't have snapd? [Get set up for snaps](https://snapcraft.io/docs/installing-snapd).

---

### Package name

* minizinc

---

### License

* MPL-2.0

---

### Last updated

* 31 August 2026 - latest/stable
* 16 October 2026 - latest/edge

---

### Websites

* [www.minizinc.org](https://www.minizinc.org/ "https://www.minizinc.org/")

---

### Source code

* [github.com/MiniZinc/libminizinc](https://github.com/MiniZinc/libminizinc "https://github.com/MiniZinc/libminizinc")

---

### Report a bug

* [github.com/MiniZinc/libminizinc/issues](https://github.com/MiniZinc/libminizinc/issues "https://github.com/MiniZinc/libminizinc/issues")

---

##### Report a Snap Store violation

* [Report this Snap](https://snapcraft.io/minizinc#report-snap-modal)

---

* [Description](https://snapcraft.io/minizinc#tab-description)
* [Security](https://snapcraft.io/minizinc#tab-security)

#### The bundled MiniZinc language toolchain and IDE

MiniZinc is a free and open-source constraint modeling language.

You can use MiniZinc to model constraint satisfaction and optimization problems in a high-level, solver-independent way, taking advantage of a large library of pre-defined constraints. Your model is then compiled into FlatZinc, a solver input language that is understood by a wide range of solvers.

MiniZinc is developed at Monash University in collaboration with Data61 Decision Sciences and the University of Melbourne.

---

## Install MiniZinc on your Linux distribution

Choose your Linux distribution to get detailed installation instructions. If yours is not shown, get more details on the [installing snapd documentation](https://snapcraft.io/docs/installing-snapd).

[### Arch Linux](https://snapcraft.io/install/minizinc/arch)

[### CentOS](https://snapcraft.io/install/minizinc/centos)

[### Debian](https://snapcraft.io/install/minizinc/debian)

[### elementary OS](https://snapcraft.io/install/minizinc/elementary)

[### Fedora](https://snapcraft.io/install/minizinc/fedora)

[### KDE Neon](https://snapcraft.io/install/minizinc/kde-neon)

[### Kubuntu](https://snapcraft.io/install/minizinc/kubuntu)

[### Manjaro](https://snapcraft.io/install/minizinc/manjaro)

[### Pop!\_OS](https://snapcraft.io/install/minizinc/pop)

[### openSUSE](https://snapcraft.io/install/minizinc/opensuse)

[### Red Hat Enterprise Linux](https://snapcraft.io/install/minizinc/rhel)

[### Ubuntu](https://snapcraft.io/install/minizinc/ubuntu)