How to Install and Uninstall python3-cryptominisat Package on Debian 11 (Bullseye)

Last updated: November 07,2024

1. Install "python3-cryptominisat" package

This is a short guide on how to install python3-cryptominisat on Debian 11 (Bullseye)

$ sudo apt update $ sudo apt install python3-cryptominisat

2. Uninstall "python3-cryptominisat" package

This guide covers the steps necessary to uninstall python3-cryptominisat on Debian 11 (Bullseye):

$ sudo apt remove python3-cryptominisat $ sudo apt autoclean && sudo apt autoremove

3. Information about the python3-cryptominisat package on Debian 11 (Bullseye)

Package: python3-cryptominisat
Source: cryptominisat (5.8.0+dfsg1-1)
Version: 5.8.0+dfsg1-1+b3
Installed-Size: 62
Maintainer: Debian Science Team
Architecture: amd64
Depends: libc6 (>= 2.14), libcryptominisat5-5.8 (>= 5.8.0+dfsg1), libgcc-s1 (>= 3.0), libstdc++6 (>= 4.1.1), python3 (<< 3.10), python3 (>= 3.9~)
Description: Python bindings for the CryptoMiniSat SAT solver (Python 3)
Description-md5: fe0ab3beb0e88dcf00ef6dde3984f9e6
Multi-Arch: same
Homepage: https://www.msoos.org/
Section: python
Priority: optional
Filename: pool/main/c/cryptominisat/python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb
Size: 19152
MD5sum: bdf80fb8d5b47ff06e813d26c023d3f0
SHA256: 5135adf1da3510e6225a11ea1e09ce3564f71631cf524b519202d690607cffcd