How to Install and Uninstall cadical Package on Kali Linux

Last updated: January 11,2025

1. Install "cadical" package

This is a short guide on how to install cadical on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                cadical
            
                    
    
    Copied

2. Uninstall "cadical" package

Here is a brief guide to show you how to uninstall cadical on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cadical
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the cadical package on Kali Linux

Package: cadical
Version: 1.7.4-1
Installed-Size: 1780
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
Size: 386784
SHA256: 8346a474b626a17aa1b9e6af11e5e46d49aab089fd0ce09820be59b32680a54a
SHA1: e1a6e080bf56ea0baec8da601881fc70972e40a3
MD5sum: 3c1ae090ea5a97ca682f49373436bdce
Description: Simplified Satisfiability Solver
CaDiCaL is a CDCL solver that is easy to understand and change, while at the
same time not being much slower than other state-of-the-art CDCL solvers.
.
This package contains binaries needed to use CaDiCaL as a stand-alone
tool.
Description-md5:
Homepage: http://fmv.jku.at/cadical/
Section: math
Priority: optional
Filename: pool/main/c/cadical/cadical_1.7.4-1_amd64.deb