How to Install and Uninstall cryptominisat Package on Debian 12 (Bookworm)
Last updated: December 24,2024
Notice
You can also install and uninstall the cryptominisat on the following distributions in the same way, as they are all based on the Debian system
- MX Linux 23
- SparkyLinux
1. Install "cryptominisat" package
This guide covers the steps necessary to install cryptominisat on Debian 12 (Bookworm)
$
sudo apt update
Copied
$
sudo apt install
cryptominisat
Copied
2. Uninstall "cryptominisat" package
In this section, we are going to explain the necessary steps to uninstall cryptominisat on Debian 12 (Bookworm):
$
sudo apt remove
cryptominisat
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the cryptominisat package on Debian 12 (Bookworm)
Package: cryptominisat
Source: cryptominisat (5.11.4+dfsg1-2)
Version: 5.11.4+dfsg1-2+b1
Installed-Size: 280
Maintainer: Debian Science Team
Architecture: amd64
Depends: libboost-program-options1.74.0 (>= 1.74.0), libc6 (>= 2.34), libcryptominisat5-5.11 (>= 5.11.4+dfsg1), libgcc-s1 (>= 3.0), libstdc++6 (>= 11), zlib1g (>= 1:1.1.4)
Description: SAT solver command line interface
Description-md5: 9d0e8e0236146acc2b7957ceba029158
Multi-Arch: foreign
Homepage: https://www.msoos.org/
Section: math
Priority: optional
Filename: pool/main/c/cryptominisat/cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb
Size: 77096
MD5sum: e0d531fe733833a83078522002df8e9a
SHA256: bfdd6100d338569563917e14639621d62b423a2a90e6fda2c5c77353c1644e1a
Source: cryptominisat (5.11.4+dfsg1-2)
Version: 5.11.4+dfsg1-2+b1
Installed-Size: 280
Maintainer: Debian Science Team
Architecture: amd64
Depends: libboost-program-options1.74.0 (>= 1.74.0), libc6 (>= 2.34), libcryptominisat5-5.11 (>= 5.11.4+dfsg1), libgcc-s1 (>= 3.0), libstdc++6 (>= 11), zlib1g (>= 1:1.1.4)
Description: SAT solver command line interface
Description-md5: 9d0e8e0236146acc2b7957ceba029158
Multi-Arch: foreign
Homepage: https://www.msoos.org/
Section: math
Priority: optional
Filename: pool/main/c/cryptominisat/cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb
Size: 77096
MD5sum: e0d531fe733833a83078522002df8e9a
SHA256: bfdd6100d338569563917e14639621d62b423a2a90e6fda2c5c77353c1644e1a