How To Install ppl on Fedora 36

In this tutorial we learn how to install ppl in Fedora 36. ppl is The Parma Polyhedra Library

Introduction

In this tutorial we learn how to install ppl on Fedora 36.

What is ppl

The Parma Polyhedra Library (PPL) is a 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 comes with several user friendly interfaces, is fully dynamic (available virtual memory is the only limitation to the dimension of anything), written in accordance to all the applicable standards, exception-safe, rather efficient, thoroughly documented, and free software. This package provides all what is necessary to run applications using the PPL through its C and C++ interfaces.

We can use yum or dnf to install ppl on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ppl.

Install ppl on Fedora 36 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

After updating yum database, We can install ppl using dnf by running the following command:

sudo dnf -y install ppl

Install ppl on Fedora 36 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

After updating yum database, We can install ppl using yum by running the following command:

sudo yum -y install ppl

How To Uninstall ppl on Fedora 36

To uninstall only the ppl package we can use the following command:

sudo dnf remove ppl

ppl Package Contents on Fedora 36

/usr/bin/ppl-config
/usr/lib/.build-id
/usr/lib/.build-id/52
/usr/lib/.build-id/52/59be1e5285d64eaf48a072e2877faee70b00b0
/usr/lib/.build-id/d4
/usr/lib/.build-id/d4/def97a124b827e9891453e071ea0ec51f7c76e
/usr/lib/.build-id/f5
/usr/lib/.build-id/f5/fb31500f2f48ff85ff3cd7731da2b6a56d1f6e
/usr/lib64/libppl.so.14
/usr/lib64/libppl.so.14.0.0
/usr/lib64/libppl_c.so.4
/usr/lib64/libppl_c.so.4.0.0
/usr/lib64/ppl
/usr/share/doc/ppl
/usr/share/doc/ppl/BUGS
/usr/share/doc/ppl/COPYING
/usr/share/doc/ppl/CREDITS
/usr/share/doc/ppl/NEWS
/usr/share/doc/ppl/README
/usr/share/doc/ppl/README.configure
/usr/share/doc/ppl/TODO
/usr/share/doc/ppl/gpl.txt
/usr/share/man/man1/ppl-config.1.gz
/usr/share/ppl

References

Summary

In this tutorial we learn how to install ppl on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).

title: “How To Install ppl on Fedora 36” linkTitle: “ppl” type: “docs” description: “In this tutorial we learn how to install ppl in Fedora 36. ppl is The Parma Polyhedra Library” date: “2022-08-17” lastmod: “2022-08-17” #image: /images/fedora/36/ppl-featured.png

Introduction

In this tutorial we learn how to install ppl on Fedora 36.

What is ppl

The Parma Polyhedra Library (PPL) is a 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 comes with several user friendly interfaces, is fully dynamic (available virtual memory is the only limitation to the dimension of anything), written in accordance to all the applicable standards, exception-safe, rather efficient, thoroughly documented, and free software. This package provides all what is necessary to run applications using the PPL through its C and C++ interfaces.

We can use yum or dnf to install ppl on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ppl.

Install ppl on Fedora 36 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

After updating yum database, We can install ppl using dnf by running the following command:

sudo dnf -y install ppl

Install ppl on Fedora 36 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

After updating yum database, We can install ppl using yum by running the following command:

sudo yum -y install ppl

How To Uninstall ppl on Fedora 36

To uninstall only the ppl package we can use the following command:

sudo dnf remove ppl

ppl Package Contents on Fedora 36

/usr/bin/ppl-config
/usr/lib/.build-id
/usr/lib/.build-id/15
/usr/lib/.build-id/15/c1f8af44b5d9e135b101e7d46a0c08db16c8b0
/usr/lib/.build-id/83
/usr/lib/.build-id/83/ae4ca1e54cbd1a61dbf2dcaf99e355357af790
/usr/lib/.build-id/c4
/usr/lib/.build-id/c4/1f16c285e4135cfc8f247eeefd698dfefda635
/usr/lib/libppl.so.14
/usr/lib/libppl.so.14.0.0
/usr/lib/libppl_c.so.4
/usr/lib/libppl_c.so.4.0.0
/usr/lib/ppl
/usr/share/doc/ppl
/usr/share/doc/ppl/BUGS
/usr/share/doc/ppl/COPYING
/usr/share/doc/ppl/CREDITS
/usr/share/doc/ppl/NEWS
/usr/share/doc/ppl/README
/usr/share/doc/ppl/README.configure
/usr/share/doc/ppl/TODO
/usr/share/doc/ppl/gpl.txt
/usr/share/man/man1/ppl-config.1.gz
/usr/share/ppl

References

Summary

In this tutorial we learn how to install ppl on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).