How to Install and Uninstall cbmc Package on Linux Mint 21 (Vanessa)

Last updated: November 26,2024

1. Install "cbmc" package

Here is a brief guide to show you how to install cbmc on Linux Mint 21 (Vanessa)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                cbmc
            
                    
    
    Copied

2. Uninstall "cbmc" package

In this section, we are going to explain the necessary steps to uninstall cbmc on Linux Mint 21 (Vanessa):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cbmc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the cbmc package on Linux Mint 21 (Vanessa)

Package: cbmc
Architecture: amd64
Version: 5.12-5
Priority: extra
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 67287
Depends: gcc, libc6 (>= 2.29), libgcc-s1 (>= 3.4), libstdc++6 (>= 9), minisat
Suggests: gdb
Filename: pool/universe/c/cbmc/cbmc_5.12-5_amd64.deb
Size: 18057108
MD5sum: a8af1af7545fe60c1fe6ad0c80bffe0f
SHA1: 955444f728bae2e6fe0287c3b8b9c5f3d95c51f6
SHA256: be7e049151cacb7511ebff2003ebc5e2d0f761cf705b6773eee0837ead94155a
SHA512: ceab949d48c0dbe7fe2d23849d29795f9cf964d98fc244f03053e60c4c1cb26c6bf629adeea959a718bd9f0d22f99a7fcdab61867198f445523f9f3c3e389285
Homepage: http://www.cprover.org/cbmc/
Description: bounded model checker for C and C++ programs
Description-md5: 2c892fdd5142036595dc17775271afad