How To Install libpoly on Fedora 36
Introduction
In this tutorial we learn how to install libpoly
on Fedora 36.
What is libpoly
LibPoly is a C library for manipulating polynomials. The target applications are symbolic reasoning engines, such as SMT solvers, that need to reason about polynomial constraints.
We can use yum
or dnf
to install libpoly
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install libpoly.
Install libpoly 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 libpoly
using dnf
by running the following command:
sudo dnf -y install libpoly
Install libpoly 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 libpoly
using yum
by running the following command:
sudo yum -y install libpoly
How To Uninstall libpoly on Fedora 36
To uninstall only the libpoly
package we can use the following command:
sudo dnf remove libpoly
libpoly Package Contents on Fedora 36
/usr/lib/.build-id
/usr/lib/.build-id/2f
/usr/lib/.build-id/2f/0e6a648ca225ddcaac90516c6e4c497bdf1bca
/usr/lib/.build-id/57
/usr/lib/.build-id/57/2dfc23db4791a8d8c62a17fc2d2afa45ad7387
/usr/lib/libpoly.so.0
/usr/lib/libpoly.so.0.1.11
/usr/lib/libpolyxx.so.0
/usr/lib/libpolyxx.so.0.1.11
/usr/share/doc/libpoly
/usr/share/doc/libpoly/README.md
/usr/share/licenses/libpoly
/usr/share/licenses/libpoly/LICENCE
References
Summary
In this tutorial we learn how to install libpoly
on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).
title: “How To Install libpoly on Fedora 36” linkTitle: “libpoly” type: “docs” description: “In this tutorial we learn how to install libpoly in Fedora 36. libpoly is C library for manipulating polynomials” date: “2022-08-17” lastmod: “2022-08-17” #image: /images/fedora/36/libpoly-featured.png
Introduction
In this tutorial we learn how to install libpoly
on Fedora 36.
What is libpoly
LibPoly is a C library for manipulating polynomials. The target applications are symbolic reasoning engines, such as SMT solvers, that need to reason about polynomial constraints.
We can use yum
or dnf
to install libpoly
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install libpoly.
Install libpoly 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 libpoly
using dnf
by running the following command:
sudo dnf -y install libpoly
Install libpoly 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 libpoly
using yum
by running the following command:
sudo yum -y install libpoly
How To Uninstall libpoly on Fedora 36
To uninstall only the libpoly
package we can use the following command:
sudo dnf remove libpoly
libpoly Package Contents on Fedora 36
/usr/lib/.build-id
/usr/lib/.build-id/0a
/usr/lib/.build-id/0a/77663632df1527e2a1922548b790fd1a31f477
/usr/lib/.build-id/ee
/usr/lib/.build-id/ee/efa6dce695f41401c85e800ca49f159c1280af
/usr/lib64/libpoly.so.0
/usr/lib64/libpoly.so.0.1.11
/usr/lib64/libpolyxx.so.0
/usr/lib64/libpolyxx.so.0.1.11
/usr/share/doc/libpoly
/usr/share/doc/libpoly/README.md
/usr/share/licenses/libpoly
/usr/share/licenses/libpoly/LICENCE
References
Summary
In this tutorial we learn how to install libpoly
on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).