How to Uninstall and Install minizinc on Ubuntu 22.04

Updated: September 15, 2022

MiniZinc is a medium-level constraint modelling language. It is high-level enough to express most constraint problems easily, but low-level enough that it can be mapped onto existing solvers easily and consistently. It is a subset of the higher-level language Zinc. In this guide, I will show you ways to install minizinc Ubuntu 22.04.

Requirements to install

  • OS: Ubuntu 22.04 or older Ubuntu versions
  • Privileges: Verify that you can execute the sudo commands line.

Prerequisites to install minizinc on Ubuntu 22.04

Install minizinc Ubuntu 22.04

minizinc is one of the popular ways on Ubuntu now so that this tutorial will show you how to install it in various ways. Choose the one that you think is easy and you can follow.

Install minizinc using APT

This is a popular method for installing any Ubuntu packages because it is simple to understand, even if you are a Linux beginner. Following these steps to get minizinc on your Ubuntu.

Step 1: The APT package repository cache needs to be updated before you try to install, update, or remove any packages. Update the APT database to download new packages from Ubuntu. Opening the terminal and executing the following Linux command:

sudo apt-get update

Step 2: Install the package on Ubuntu 22.04. After updating the system, you can install minizinc Ubuntu by executing this command in the terminal.

sudo apt-get install minizinc

Install minizinc using Aptitude

Users can manage their installation, upgrade, and removal of packages with Aptitude and view a list of the packages that are currently available. You must run this command to install it if you haven’t already done so on Ubuntu.

sudo apt -y install aptitude

After installing it, you can now install minizinc, just following these steps:

Step 1: The APT package repository cache needs to be updated before you try to install, update, or remove any packages. Obtain new packages from Ubuntu by updating the APT database. Opening the terminal and executing this Linux command:

sudo apt update

Step 2: Install the package on Ubuntu 22.04. After updating the system, you can install minizinc Ubuntu by pasting this command into the terminal and executing it.

sudo aptitude install minizinc

Uninstall minizinc on Ubuntu 22.04

Have you ever considered how challenging it might be to uninstall an application from Ubuntu? You’re wrong, anyone can easily uninstall any program, not just a minizinc.

You can uninstall minizinc Ubuntu by running this command if you installed it using APT or Aptitude.

sudo apt remove --auto-remove minizinc

To uninstall minizinc and remove its data and dependencies, you can also use the following command:

sudo apt autoremove --purge minizinc

Summary

In this tutorial, I showed you ways to install minizinc on Ubuntu 22.04 and ways to uninstall minizinc too. Please do not hesitate to contact me if you require any assistance. I’m delighted to respond to them.