How to Install and Uninstall cryptominisat Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: November 26,2024

1. Install "cryptominisat" package

This guide covers the steps necessary to install cryptominisat on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                cryptominisat
            
                    
    
    Copied

2. Uninstall "cryptominisat" package

Learn how to uninstall cryptominisat on Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cryptominisat
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the cryptominisat package on Ubuntu 20.10 (Groovy Gorilla)

Package: cryptominisat
Architecture: amd64
Version: 5.8.0+dfsg1-1
Multi-Arch: foreign
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 361
Depends: libboost-program-options1.71.0, libc6 (>= 2.29), libcryptominisat5-5.8 (>= 5.8.0+dfsg1), libgcc-s1 (>= 3.0), libstdc++6 (>= 9), zlib1g (>= 1:1.1.4)
Filename: pool/universe/c/cryptominisat/cryptominisat_5.8.0+dfsg1-1_amd64.deb
Size: 96608
MD5sum: 4f5df49583b089bf668d4965b64b431c
SHA1: d01cc4575f18e09f5314d3f7f3133a167366b2c5
SHA256: e28bd96f10c7e8ee18a0619609f1fc567430baa805ef6ffa14efe14796a9ecc8
SHA512: 774c159d07f16e8fadcb3e97ae47d25dd9b863a4d2d969bbc723937aca643a79540a8c0011f7bda9e7a0cbfcca48cc8e8d3fbe7ebf8bedca2858c0102b578c58
Homepage: https://www.msoos.org/
Description-en: 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: 9d0e8e0236146acc2b7957ceba029158