How to Install and Uninstall cryptominisat Package on Kali Linux

Last updated: May 17,2024

1. Install "cryptominisat" package

Here is a brief guide to show you how to install cryptominisat on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                cryptominisat
            
                    
    
    Copied

2. Uninstall "cryptominisat" package

Please follow the guidance below to uninstall cryptominisat on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cryptominisat
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the cryptominisat package on Kali Linux

Package: cryptominisat
Source: cryptominisat (5.11.15+dfsg1-1)
Version: 5.11.15+dfsg1-1+b2
Installed-Size: 294
Maintainer: Debian Science Team
Architecture: amd64
Depends: libboost-program-options1.83.0 (>= 1.83.0), libc6 (>= 2.34), libcryptominisat5-5.11 (>= 5.11.15+dfsg1), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1), zlib1g (>= 1:1.1.4)
Size: 80900
SHA256: cc65e5b80ae9e9b449b9a6868420f3b6f762238335eb672f0f632704125a8f70
SHA1: 915c5dec3d0c0f9b276442311e4f15e6c22c6743
MD5sum: 5bcf741f3d93e2952c9bdd01e0ab13d0
Description: SAT solver command line interface
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
.
This package provides a command line interface which reads SAT formulas in
conjunctive normal form in the DIMACS format with the extension of XOR
clauses and decides whether they are satisfiable.
Description-md5:
Multi-Arch: foreign
Homepage: https://www.msoos.org/
Section: math
Priority: optional
Filename: pool/main/c/cryptominisat/cryptominisat_5.11.15+dfsg1-1+b2_amd64.deb