Cheap VPS & Xen Server

Residential Proxy Network - Hourly & Monthly Packages

How to install z3 on Debian Unstable (Sid)

Install z3

Installing z3 package on Debian Unstable (Sid) is as easy as running the following command on terminal:

sudo apt-get update
sudo apt-get install z3

z3 package information

distro Debian Unstable (Sid)
section Main
name z3
version 4.4.0-5
description theorem prover from Microsoft Research
subsection science
website / Z3Prover / z3
maintainer Michael Tautschnig

Uninstall z3

To remove just z3 package itself from Debian Unstable (Sid) execute on terminal:

sudo apt-get remove z3

Uninstall z3 and it’s dependent packages

To remove the z3 package and any other dependant package which are no longer needed from Debian Sid.

sudo apt-get remove --auto-remove z3

Purging z3

If you also want to delete configuration and/or data files of z3 from Debian Sid then this will work:

sudo apt-get purge z3

To delete configuration and/or data files of z3 and it’s dependencies from Debian Sid then execute:

sudo apt-get purge --auto-remove z3