How to install python-z3 On Ubuntu 16.04 Lts? Uninstall and remove python-z3 Package

In this tutorial you will learn how to update and install python-z3 On Ubuntu 16.04 Lts? Learn how to uninstall and completely remove the package python-z3 from Ubuntu 16.04 LTS Operating System.


 

Ads

Quick installation of python-z3:

Step 1: Update system:

	sudo apt-get update

Step 2: Install: python-z3

Ater updaing the OS run following command to install the packae:

	sudo apt-get install python-z3

Package Details

Package:python-z3
Version:4.4.0-5
Maintainer:Ubuntu Developers
Home page:https://github.com/Z3Prover/z3
Description:theorem prover from Microsoft Research - Python bindings
Distro:Ubuntu 16.04
Release:Xenial Xerus
Repo/Section:universe/python

How to install python-z3 on Ubuntu 16.04?

How to install python-z3 On Ubuntu 16.04 Lts? Uninstall and remove python-z3 Package

First of all update your system with the command:

sudo apt-get update

Ads

Above command will download the package lists for Ubuntu 16.04 on your system. This will update the list of newest versions of packages and its dependencies on your system.

After downloading the latest package list with the help of above you can run the installation process.

If python-z3 is not installed on your compter then the command 'dpkg -L python-z3' will give followin error.

deepak@deepakub16:~$ dpkg -L python-z3
dpkg-query: package 'python-z3' is not installed
Use dpkg --info (= dpkg-deb --info) to examine archive files,
and dpkg --contents (= dpkg-deb --contents) to list their contents.
deepak@deepakub16:~$ 

Installing python-z3:

After system update use the following command to install python-z3:

sudo apt-get install python-z3

Above command will confirm before installing the package on your Ubuntu 16.04 Operating System. If you are not already logged in as su, installer will ask you the root password. After completion of the installation you can use the package on your system.

How to uninstall/remove python-z3 from Ubuntu 16.04?

Now we will see the commands for uninstalling the python-z3 from Ubuntu 16.04. For uninstalling this package you can easily use the apt command and remove the package from Linux Operating System.

To remove the python-z3 following command is used:

sudo apt-get remove  python-z3

Following command is used to remove the python-z3 package along with its dependencies:

sudo apt-get remove --auto-remove python-z3

This will remove python-z3 and all its dependent packages which is no longer needed in the system.

Completely removing python-z3 with all configuration files:

Following command should be used with care as it deletes all the configuration files and data:

sudo apt-get purge python-z3

or you can use following command also:

sudo apt-get purge --auto-remove python-z3

Above command will remove all the configuration files and data associated with python-z3 package. You can can't recover the delete data, so, use this command with care.