How To Install python3-pysmt on AlmaLinux 8
Introduction
In this tutorial we learn how to install python3-pysmt
on AlmaLinux 8.
What is python3-pysmt
A library for SMT formulae manipulation and solving pySMT makes working with Satisfiability Modulo Theory simple. Among others, you can * Define formulae in a solver independent way in a simple and intuitive way * Write ad-hoc simplifiers and operators * Dump your problems in the SMT-Lib format * Solve them using one of the native solvers * Wrapping any SMT-Lib complaint
We can use yum
or dnf
to install python3-pysmt
on AlmaLinux 8. In this tutorial we discuss both methods but you only need to choose one of method to install python3-pysmt.
Install python3-pysmt on AlmaLinux 8 Using dnf
Update yum database with dnf
using the following command.
sudo dnf makecache --refresh
After updating yum database, We can install python3-pysmt
using dnf
by running the following command:
sudo dnf -y install python3-pysmt
Install python3-pysmt on AlmaLinux 8 Using yum
Update yum database with yum
using the following command.
sudo yum makecache --refresh
After updating yum database, We can install python3-pysmt
using yum
by running the following command:
sudo yum -y install python3-pysmt
How To Uninstall python3-pysmt on AlmaLinux 8
To uninstall only the python3-pysmt
package we can use the following command:
sudo dnf remove python3-pysmt
References
Summary
In this tutorial we learn how to install python3-pysmt
on AlmaLinux 8 using yum and dnf.