How to Install and Uninstall libcadical-dev Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 18,2024

1. Install "libcadical-dev" package

Learn how to install libcadical-dev on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcadical-dev
            
                    
    
    Copied

2. Uninstall "libcadical-dev" package

This guide let you learn how to uninstall libcadical-dev on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcadical-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcadical-dev package on Ubuntu 23.10 (Mantic Minotaur)

Package: libcadical-dev
Architecture: amd64
Version: 1.5.3-2
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: 1537
Filename: pool/universe/c/cadical/libcadical-dev_1.5.3-2_amd64.deb
Size: 318080
MD5sum: 603a3bd6e0be5c9bc380c046b0ac34a6
SHA1: 361f26f47df8a5bce91586dbae203d235e6b6bd4
SHA256: 759e3924c011b2271e697cd50cc6ddd5817da043ea350298e9635d169ad576a2
SHA512: 7e50e39294654939e4d10b05f078300996ecce0fbdb60805456329bb689dbc4a68b6f13d513a2812af9cae3f8bf57fe14a793e08c50a5b30b64077c88bed8bc0
Homepage: http://fmv.jku.at/cadical/
Description: Simplified Satisfiability Solver (development files)
Description-md5: ae908dcf4f3ffc7f8fda281e112f0e49