How to Install and Uninstall ppl-dev Ubuntu 22.04

Updated: October 21, 2022

The Parma Polyhedra Library (PPL) is a C++ library for the manipulation of (not necessarily closed) convex polyhedra and other numerical abstractions. The applications of convex polyhedra include program analysis, optimized compilation, integer and combinatorial optimization and statistical data-editing. The Parma Polyhedra Library is user friendly (you write `x + 2y + 5z <= 7’ when you mean it), fully dynamic (available virtual memory is the only limitation to the dimension of anything), written in standard C++, exception-safe, rather efficient and thoroughly documented. In this guide, I will show you how to install ppl-dev on Ubuntu 22.04.

Prerequisites

  • Operating system: Ubuntu 22.04 or older versions with more than 2GB RAM
  • Privileges: Ensure that you are able to execute the sudo commands line.

Prerequisites to install ppl-dev on Ubuntu 22.04

Install ppl-dev Ubuntu 22.04

ppl-dev 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 ppl-dev using APT

This is one of the popular ways to install any Ubuntu packages because it is simple to understand, even if you are a Linux novice. Following these instructions to get ppl-dev on your Ubuntu 22.04.

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. Launch the terminal and enter the following Linux command:

sudo apt -y update

Step 2: Start the package installation on Ubuntu 22.04. After updating the system, you can install ppl-dev Ubuntu by executing this command in the terminal.

sudo apt-get -y install ppl-dev

Install ppl-dev using Aptitude

If you didn’t install Aptitude on Ubuntu, you need to install it by executing this command.

sudo apt -y install aptitude

After that, you can now install ppl-dev by following these steps:

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 fetch new packages from Ubuntu. Launch the terminal and enter the following Linux command:

sudo apt-get -y update

Step 2: Start installing the packages on Ubuntu 22.04. You can now install ppl-dev Ubuntu by executing this command in the terminal.

sudo aptitude -y install ppl-dev

Uninstall ppl-dev on Ubuntu 22.04

Have you ever considered how difficult it is to uninstall an application from Ubuntu? You are mistaken; anyone, not just package administrators, can easily uninstall any program.

If you installed ppl-dev using APT or Aptitude, you could uninstall ppl-dev on Ubuntu by following this step:

sudo apt remove --auto-remove ppl-dev

If you want to uninstall ppl-dev and delete its data and dependencies, you can also run the following command:

sudo apt autoremove --purge ppl-dev

Summary

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