How to Install and Uninstall cadical Package on Debian 12 (Bookworm)

Last updated: January 24,2025

You can also install and uninstall the cadical on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "cadical" package

This is a short guide on how to install cadical on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                cadical
            
                    
    
    Copied

2. Uninstall "cadical" package

Learn how to uninstall cadical on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cadical
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the cadical package on Debian 12 (Bookworm)

Package: cadical
Version: 1.5.3-2
Installed-Size: 1404
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 11)
Description: Simplified Satisfiability Solver
Description-md5: 56f60fd191e4f7c1010490ef2c5b90e0
Homepage: http://fmv.jku.at/cadical/
Section: math
Priority: optional
Filename: pool/main/c/cadical/cadical_1.5.3-2_amd64.deb
Size: 316708
MD5sum: c520d0af0a4ec7d4e9646f76f7d69c71
SHA256: ad30fec9e44fc6d7df39ba88efdd3f132bff24a4a6d422e26c73cc2cabbde1b3