How to Install and Uninstall cadical Package on Ubuntu 23.10 (Mantic Minotaur)
Last updated: December 24,2024
1. Install "cadical" package
Here is a brief guide to show you how to install cadical on Ubuntu 23.10 (Mantic Minotaur)
$
sudo apt update
Copied
$
sudo apt install
cadical
Copied
2. Uninstall "cadical" package
Please follow the guidelines below to uninstall cadical on Ubuntu 23.10 (Mantic Minotaur):
$
sudo apt remove
cadical
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the cadical package on Ubuntu 23.10 (Mantic Minotaur)
Package: cadical
Architecture: amd64
Version: 1.5.3-2
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1224
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 11)
Filename: pool/universe/c/cadical/cadical_1.5.3-2_amd64.deb
Size: 360890
MD5sum: ff690a43b4049549da8b8fa2cc21c1a4
SHA1: b9f3053056791dc07c141ca0efe96c088a164da5
SHA256: ac79b9bb7c0aa8bc5da0e4f72dfc799730ea4a35480c16bc4f8ea2628b167a69
SHA512: 07047c0b50f60cd8a9c3435da7d1981c5eb23f7ae3348d87a22a4709c4edd6ec73f715ff5a05ba2e555cc4d771f02b9e9decaace5f96bcd94e9f1ab00f601ed8
Homepage: http://fmv.jku.at/cadical/
Description: Simplified Satisfiability Solver
Description-md5: 56f60fd191e4f7c1010490ef2c5b90e0
Architecture: amd64
Version: 1.5.3-2
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1224
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 11)
Filename: pool/universe/c/cadical/cadical_1.5.3-2_amd64.deb
Size: 360890
MD5sum: ff690a43b4049549da8b8fa2cc21c1a4
SHA1: b9f3053056791dc07c141ca0efe96c088a164da5
SHA256: ac79b9bb7c0aa8bc5da0e4f72dfc799730ea4a35480c16bc4f8ea2628b167a69
SHA512: 07047c0b50f60cd8a9c3435da7d1981c5eb23f7ae3348d87a22a4709c4edd6ec73f715ff5a05ba2e555cc4d771f02b9e9decaace5f96bcd94e9f1ab00f601ed8
Homepage: http://fmv.jku.at/cadical/
Description: Simplified Satisfiability Solver
Description-md5: 56f60fd191e4f7c1010490ef2c5b90e0