How to Uninstall or Install ppl-dev on Ubuntu 22.04

Updated: September 16, 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. I will show you how to install ppl-dev on Ubuntu 22.04 in this tutorial.

Prerequisites to install

  • Operating system: Ubuntu 22.04 is needed for ppl-dev to work
  • Privileges: Ascertain that you are able to execute sudo commands.

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 some ways to install it. 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’s easy to follow, even if you are a newbie in Linux. Following these steps to get ppl-dev on your Ubuntu 22.04.

Step 1: You must update the APT package repository cache before attempting 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-get update

Step 2: Start the package installation on Ubuntu 22.04. After updating the system, you can install ppl-dev Ubuntu by pasting this command into the terminal and pressing Enter.

sudo apt install ppl-dev

Install ppl-dev using Aptitude

Aptitude allows users to view a list of available packages and manage package installation, upgrade, and removal. If you haven’t already done so, run this command to install it.

sudo apt 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. Obtain new packages from Ubuntu by updating the APT database. Opening the terminal and executing the following Linux command:

sudo apt-get 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 install ppl-dev

Uninstall ppl-dev on Ubuntu 22.04

Have you ever thought that uninstalling an application from Ubuntu is difficult? You are mistaken; Anyone can easily uninstall any program, not just ppl-dev.

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

sudo apt remove --auto-remove ppl-dev

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

sudo apt autoremove --purge ppl-dev

Ending

In this tutorial, 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.