How to Install and Uninstall libcadical-dev Package on Debian 12 (Bookworm)

Last updated: November 26,2024

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

MX Linux 23
SparkyLinux

1. Install "libcadical-dev" package

In this section, we are going to explain the necessary steps to install libcadical-dev on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcadical-dev
            
                    
    
    Copied

2. Uninstall "libcadical-dev" package

This tutorial shows how to uninstall libcadical-dev on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcadical-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcadical-dev package on Debian 12 (Bookworm)

Package: libcadical-dev
Source: cadical
Version: 1.5.3-2
Installed-Size: 1522
Maintainer: Debian Science Maintainers
Architecture: amd64
Description: Simplified Satisfiability Solver (development files)
Description-md5: ae908dcf4f3ffc7f8fda281e112f0e49
Homepage: http://fmv.jku.at/cadical/
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/c/cadical/libcadical-dev_1.5.3-2_amd64.deb
Size: 287488
MD5sum: 1ff27fc23fe987dd68551ff1176a93bc
SHA256: 10a3a188dd5ba25132f4e1d3874d18cfa9683780d28fbaa063ef275d9e01bd22