How To Install cvc4-python3 on Fedora 36
Introduction
In this tutorial we learn how to install cvc4-python3
on Fedora 36.
What is cvc4-python3
Python 3 interface to cvc4.
We can use yum
or dnf
to install cvc4-python3
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install cvc4-python3.
Install cvc4-python3 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 cvc4-python3
using dnf
by running the following command:
sudo dnf -y install cvc4-python3
Install cvc4-python3 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 cvc4-python3
using yum
by running the following command:
sudo yum -y install cvc4-python3
How To Uninstall cvc4-python3 on Fedora 36
To uninstall only the cvc4-python3
package we can use the following command:
sudo dnf remove cvc4-python3
cvc4-python3 Package Contents on Fedora 36
/usr/lib/.build-id
/usr/lib/.build-id/b8
/usr/lib/.build-id/b8/d08d064f9fca086736d2ffefc509c3fb51ebb6
/usr/lib/.build-id/e0
/usr/lib/.build-id/e0/c2617d988114e35f2a5614da87bd6576880a4e
/usr/lib64/python3.10/site-packages/CVC4.py
/usr/lib64/python3.10/site-packages/_CVC4.so
/usr/lib64/python3.10/site-packages/__pycache__/CVC4.cpython-310.opt-1.pyc
/usr/lib64/python3.10/site-packages/__pycache__/CVC4.cpython-310.pyc
/usr/lib64/python3.10/site-packages/pycvc4
/usr/lib64/python3.10/site-packages/pycvc4-1.8.0-py3.10.egg-info
/usr/lib64/python3.10/site-packages/pycvc4/__init__.py
/usr/lib64/python3.10/site-packages/pycvc4/__pycache__
/usr/lib64/python3.10/site-packages/pycvc4/__pycache__/__init__.cpython-310.opt-1.pyc
/usr/lib64/python3.10/site-packages/pycvc4/__pycache__/__init__.cpython-310.pyc
/usr/lib64/python3.10/site-packages/pycvc4/pycvc4.so
References
Summary
In this tutorial we learn how to install cvc4-python3
on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).