How to Install and Uninstall libcadical-dev Package on Kali Linux

Last updated: July 01,2024

1. Install "libcadical-dev" package

Please follow the step by step instructions below to install libcadical-dev on Kali Linux


    
        
            $
        

        
            
                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 Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcadical-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcadical-dev package on Kali Linux

Package: libcadical-dev
Source: cadical
Version: 1.7.4-1
Installed-Size: 1882
Maintainer: Debian Science Maintainers
Architecture: amd64
Size: 348924
SHA256: d4f83ab90129add92a076f5f5d75e7e6e250d6fd0baeb7613d567da377d526f6
SHA1: b520d1735746672f087bc54a18dd0d1a2ed7c21c
MD5sum: 36517c0dc16955a45db8943dd1953e80
Description: Simplified Satisfiability Solver (development files)
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 development files for CaDiCaL. Install it if you
want to develop applications that use CaDiCaL's API.
Description-md5:
Multi-Arch: same
Homepage: http://fmv.jku.at/cadical/
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/c/cadical/libcadical-dev_1.7.4-1_amd64.deb