How to Install and Uninstall libcadical-dev Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: May 20,2024

1. Install "libcadical-dev" package

Please follow the steps below to install libcadical-dev on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcadical-dev
            
                    
    
    Copied

2. Uninstall "libcadical-dev" package

This is a short guide on how to uninstall libcadical-dev on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcadical-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcadical-dev package on Ubuntu 24.04 LTS (Noble Numbat)

Package: libcadical-dev
Architecture: amd64
Version: 1.7.4-1
Multi-Arch: same
Priority: optional
Section: universe/libdevel
Source: cadical
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1872
Filename: pool/universe/c/cadical/libcadical-dev_1.7.4-1_amd64.deb
Size: 384528
MD5sum: 0333b442dd2b71c33c800c2e5818e5de
SHA1: 07221ad36a495197e0ac874b1ea0d8643a5c828e
SHA256: 35cfec9efc83058facf5ab103be73489ceedf8cbfc73193d6ef7d766a857d75d
SHA512: 190ba0a6b043d352d6cd99f5c296b4446ac17bada7183949cf3b632d3d4e66d0887d47251e7e3abe3520119e3497f2de519246f30f5873a34632ed63204655b5
Homepage: http://fmv.jku.at/cadical/
Description: Simplified Satisfiability Solver (development files)
Description-md5: ae908dcf4f3ffc7f8fda281e112f0e49