How to Install and Uninstall python3-z3 Package on Ubuntu 20.04 LTS (Focal Fossa)
Last updated: November 24,2024
1. Install "python3-z3" package
Please follow the guidance below to install python3-z3 on Ubuntu 20.04 LTS (Focal Fossa)
$
sudo apt update
Copied
$
sudo apt install
python3-z3
Copied
2. Uninstall "python3-z3" package
Please follow the guidance below to uninstall python3-z3 on Ubuntu 20.04 LTS (Focal Fossa):
$
sudo apt remove
python3-z3
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the python3-z3 package on Ubuntu 20.04 LTS (Focal Fossa)
Package: python3-z3
Architecture: amd64
Version: 4.8.7-4build1
Priority: optional
Section: universe/python
Source: z3
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: LLVM Packaging Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 581
Depends: libz3-dev (= 4.8.7-4build1), python3-pkg-resources, python3:any
Filename: pool/universe/z/z3/python3-z3_4.8.7-4build1_amd64.deb
Size: 76544
MD5sum: d722b4e1dc8b7f952f7bf4a83b03ee50
SHA1: 62680e49b02c3238e65884b5489310debbf4fb4a
SHA256: 1c39543a2254b80dea159955c7e8adbabe7bc39005e10977cf3bea2d7c8520f5
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - Python 3 bindings
Description-md5: 1151d82b62ff9e325677d3c6fc0e262a
Architecture: amd64
Version: 4.8.7-4build1
Priority: optional
Section: universe/python
Source: z3
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: LLVM Packaging Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 581
Depends: libz3-dev (= 4.8.7-4build1), python3-pkg-resources, python3:any
Filename: pool/universe/z/z3/python3-z3_4.8.7-4build1_amd64.deb
Size: 76544
MD5sum: d722b4e1dc8b7f952f7bf4a83b03ee50
SHA1: 62680e49b02c3238e65884b5489310debbf4fb4a
SHA256: 1c39543a2254b80dea159955c7e8adbabe7bc39005e10977cf3bea2d7c8520f5
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - Python 3 bindings
Description-md5: 1151d82b62ff9e325677d3c6fc0e262a