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

Last updated: November 07,2024

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 $ sudo apt install libcadical-dev

2. Uninstall "libcadical-dev" package

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

$ sudo apt remove libcadical-dev $ sudo apt autoclean && sudo apt autoremove

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