How to Install and Uninstall cadical Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: May 19,2024

1. Install "cadical" package

Here is a brief guide to show you how to install cadical on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                cadical
            
                    
    
    Copied

2. Uninstall "cadical" package

In this section, we are going to explain the necessary steps to uninstall cadical on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cadical
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the cadical package on Ubuntu 24.04 LTS (Noble Numbat)

Package: cadical
Architecture: amd64
Version: 1.7.4-1
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1496
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1)
Filename: pool/universe/c/cadical/cadical_1.7.4-1_amd64.deb
Size: 464636
MD5sum: 4f1531a7ea064894fb3f549a8d840827
SHA1: 7e738a4295c448353fb7753c6c98a3987d7b143f
SHA256: 3d2a5a3b5285efb4ed5145bfb50415e1e0fe7d8b0a52e0c8d6022fedf3cdb562
SHA512: 2346093cff0d91c4dd02675904b36eef5b27a29ce9111d7b46a3ce3a491758ca49ea4c92d21ce9ee941a2534fb6070e38343eb3fe033738ee888170d972105bd
Homepage: http://fmv.jku.at/cadical/
Description: Simplified Satisfiability Solver
Description-md5: 56f60fd191e4f7c1010490ef2c5b90e0