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

[Canonical Snapcraft](https://snapcraft.io/)

# Install MiniZinc on **Ubuntu**

# 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)

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

#### 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.

### Package name

* minizinc

---

### License

* MPL-2.0

---

### Last updated

* 31 August 2026 - latest/stable
* 20 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/install/minizinc/ubuntu#report-snap-modal)

---

## Enable snaps on Ubuntu and install MiniZinc

Snaps are applications packaged with all their dependencies to run on all popular Linux distributions from a single build. They update automatically and roll back gracefully.

Snaps are discoverable and installable from the [Snap Store](https://snapcraft.io/store), an app store with an audience of millions.

### Enable snapd

If you’re running [Ubuntu 16.04 LTS (Xenial Xerus)](https://www.ubuntu.com/) or later, including [Ubuntu 18.04 LTS (Bionic Beaver)](https://www.ubuntu.com/desktop/features) and [Ubuntu 20.04 LTS (Focal Fossa)](https://wiki.ubuntu.com/FocalFossa/ReleaseNotes), you don’t need to do anything. Snap is already installed and ready to go.

For versions of Ubuntu between [14.04 LTS (Trusty Tahr)](https://wiki.ubuntu.com/TrustyTahr/ReleaseNotes) and [15.10 (Wily Werewolf)](https://wiki.ubuntu.com/WilyWerewolf/ReleaseNotes), as well as Ubuntu flavours that don’t include *snap* by default, *snap* can be installed from the Ubuntu Software Centre by searching for *snapd*.

Alternatively, snapd can be installed from the command line:

```
sudo apt update
sudo apt install snapd
```

Either log out and back in again, or restart your system, to ensure snap’s paths are updated correctly.

### Install MiniZinc

To install MiniZinc, simply use the following command:

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

### Other popular snaps…

[See more...](https://snapcraft.io/search?categories=featured)

[See more in Featured](https://snapcraft.io/search?categories=featured)

### More things to do…

#### [Get the snap store](https://snapcraft.io/snap-store)

Browse and find snaps from the convenience of your desktop using the snap store snap.

#### [Learn more about snaps](https://snapcraft.io/docs)

Interested to find out more about snaps? Want to publish your own application? Visit [snapcraft.io](https://snapcraft.io/) now.

[Back to top](https://snapcraft.io/install/minizinc/ubuntu)

© 2026 Canonical Ltd.
Ubuntu and Canonical are registered trademarks of Canonical Ltd.

Powered by [Charmed Kubernetes](https://www.ubuntu.com/kubernetes)

[Join the forum](https://forum.snapcraft.io/), contribute to or report problems with,
[snapd](https://bugs.launchpad.net/snapd),
[Snapcraft](https://bugs.launchpad.net/snapcraft),
or [this site](https://github.com/canonical/snapcraft.io/issues/new).

* [Share on Twitter](https://twitter.com/snapcraftio)
* [Share on Facebook](https://www.facebook.com/snapcraftio)
* [Share on YouTube](https://www.youtube.com/snapcraftio)

* [Terms of Service](https://ubuntu.com/legal/terms-and-policies/snap-store-terms)
* [Data privacy](https://www.ubuntu.com/legal/data-privacy)
* [Manage your tracker settings](https://snapcraft.io/install/minizinc/ubuntu)
* [Service status](https://status.snapcraft.io/)
* [Other functions](https://dashboard.snapcraft.io/)
* [Contact us](https://snapcraft.io/about/contact-us)