How to Install and Uninstall cryptominisat Package on Ubuntu 21.04 (Hirsute Hippo)

Last updated: May 17,2024

1. Install "cryptominisat" package

This guide let you learn how to install cryptominisat on Ubuntu 21.04 (Hirsute Hippo)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                cryptominisat
            
                    
    
    Copied

2. Uninstall "cryptominisat" package

Please follow the instructions below to uninstall cryptominisat on Ubuntu 21.04 (Hirsute Hippo):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cryptominisat
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the cryptominisat package on Ubuntu 21.04 (Hirsute Hippo)

Package: cryptominisat
Architecture: amd64
Version: 5.8.0+dfsg1-1build2
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: 321
Depends: libboost-program-options1.74.0 (>= 1.74.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-1build2_amd64.deb
Size: 87672
MD5sum: 6562dbeb926023654f00c1e17389a8ee
SHA1: 99d9bda0d09cb477d40e320b5f839f176c90d009
SHA256: 94a0548c06b8129ecaa544851110f9edff5ae45420fc23fde788e96f393b697e
SHA512: 056fc4c237ab8aba3985b16475555aaf212a9205b563da7ea4c1eaeb14f16d6ba91bd9b8d1a26eca29c3dc9fc3042e363957b5077568f11e4cc09302add07860
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