How to Install and Uninstall minisat2 Package on Ubuntu 23.10 (Mantic Minotaur)
Last updated: November 23,2024
1. Install "minisat2" package
Here is a brief guide to show you how to install minisat2 on Ubuntu 23.10 (Mantic Minotaur)
$
sudo apt update
Copied
$
sudo apt install
minisat2
Copied
2. Uninstall "minisat2" package
Please follow the step by step instructions below to uninstall minisat2 on Ubuntu 23.10 (Mantic Minotaur):
$
sudo apt remove
minisat2
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the minisat2 package on Ubuntu 23.10 (Mantic Minotaur)
Package: minisat2
Architecture: amd64
Version: 1:2.2.1-5build2
Priority: extra
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 12
Depends: minisat
Filename: pool/universe/m/minisat2/minisat2_2.2.1-5build2_amd64.deb
Size: 2032
MD5sum: 8c2683864f1e694a675964d31d916662
SHA1: 00efb9bde780daeb3a74ac73ce166eb6ac6fe6bd
SHA256: c5ed7eafe8b6a5c52db81bb79c21bc3ad509a10444dabe13406ecfc678c197aa
SHA512: aa2c84230f99ed9e88f019d5532f3cf5321d0f0f446050f3bad14c54f7a7a29495176be3bd304316a5760abbe105be2d080787dcb5236f965f04929f939f34ec
Homepage: http://minisat.se/
Description: Transitional package for minisat
Description-md5: 8385de90ce10778a1ebab6a56629355e
Architecture: amd64
Version: 1:2.2.1-5build2
Priority: extra
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 12
Depends: minisat
Filename: pool/universe/m/minisat2/minisat2_2.2.1-5build2_amd64.deb
Size: 2032
MD5sum: 8c2683864f1e694a675964d31d916662
SHA1: 00efb9bde780daeb3a74ac73ce166eb6ac6fe6bd
SHA256: c5ed7eafe8b6a5c52db81bb79c21bc3ad509a10444dabe13406ecfc678c197aa
SHA512: aa2c84230f99ed9e88f019d5532f3cf5321d0f0f446050f3bad14c54f7a7a29495176be3bd304316a5760abbe105be2d080787dcb5236f965f04929f939f34ec
Homepage: http://minisat.se/
Description: Transitional package for minisat
Description-md5: 8385de90ce10778a1ebab6a56629355e