How to Install and Uninstall boolector Package on Ubuntu 22.10 (Kinetic Kudu)
Last updated: December 23,2024
1. Install "boolector" package
This guide covers the steps necessary to install boolector on Ubuntu 22.10 (Kinetic Kudu)
$
sudo apt update
Copied
$
sudo apt install
boolector
Copied
2. Uninstall "boolector" package
Please follow the step by step instructions below to uninstall boolector on Ubuntu 22.10 (Kinetic Kudu):
$
sudo apt remove
boolector
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the boolector package on Ubuntu 22.10 (Kinetic Kudu)
Package: boolector
Architecture: amd64
Version: 1.5.118.6b56be4.121013-1.1
Priority: extra
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 774
Depends: libc6 (>= 2.34)
Filename: pool/universe/b/boolector/boolector_1.5.118.6b56be4.121013-1.1_amd64.deb
Size: 323476
MD5sum: bccb72b535cee78804b0796be11cc4f9
SHA1: 1393edfcf5e0ee9a83c4c1fe137bd86477db40db
SHA256: 0d4af8aa08af0d5227d46e3422ee1d444fc38bd9bc2cb4e859474be2f8bc1197
SHA512: f4abc71aeda894044f95b78f9b0b3fa2e6803fc5518b28ca2c09075cb8a54c05a131928e60effaee8a3e7f754d96859eaec40fca11f3789bb81e9b892c78bd09
Homepage: http://fmv.jku.at/boolector/
Description: SMT solver for bit-vectors and arrays
Description-md5: 3ffdf2573adbbaeee22ada3c1789353d
Architecture: amd64
Version: 1.5.118.6b56be4.121013-1.1
Priority: extra
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 774
Depends: libc6 (>= 2.34)
Filename: pool/universe/b/boolector/boolector_1.5.118.6b56be4.121013-1.1_amd64.deb
Size: 323476
MD5sum: bccb72b535cee78804b0796be11cc4f9
SHA1: 1393edfcf5e0ee9a83c4c1fe137bd86477db40db
SHA256: 0d4af8aa08af0d5227d46e3422ee1d444fc38bd9bc2cb4e859474be2f8bc1197
SHA512: f4abc71aeda894044f95b78f9b0b3fa2e6803fc5518b28ca2c09075cb8a54c05a131928e60effaee8a3e7f754d96859eaec40fca11f3789bb81e9b892c78bd09
Homepage: http://fmv.jku.at/boolector/
Description: SMT solver for bit-vectors and arrays
Description-md5: 3ffdf2573adbbaeee22ada3c1789353d