How to Install and Uninstall libladr4 Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: December 25,2024

1. Install "libladr4" package

Please follow the instructions below to install libladr4 on Ubuntu 16.04 LTS (Xenial Xerus)

$ sudo apt update $ sudo apt install libladr4

2. Uninstall "libladr4" package

Please follow the steps below to uninstall libladr4 on Ubuntu 16.04 LTS (Xenial Xerus):

$ sudo apt remove libladr4 $ sudo apt autoclean && sudo apt autoremove

3. Information about the libladr4 package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: libladr4
Priority: optional
Section: universe/libs
Installed-Size: 523
Maintainer: Ubuntu Developers
Original-Maintainer: Debian QA Group
Architecture: amd64
Source: ladr
Version: 0.0.200911a-2.1
Depends: libc6 (>= 2.11)
Pre-Depends: multiarch-support
Filename: pool/universe/l/ladr/libladr4_0.0.200911a-2.1_amd64.deb
Size: 165864
MD5sum: a4aa9691a741543e7386a08ae0933f0a
SHA1: 81e526e9a5cd7662761d41da7a47098387b0e6d3
SHA256: ec2910ad6dd8174232777f6e7d65ec387517de9ded37cfde6e7449cb7a7405b0
Description-en: the LADR deduction library
LADR (Library for Automated Deduction Research) is a library for
use in constructing theorem provers. Among other useful routines it
provides facilities for applying inference rules such as resolution
and paramodulation to clauses. LADR is used by the prover9 theorem
prover, and by the mace4 countermodel generator.
Description-md5: db21ac657e20aab0a1bdc5cbf768a123
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu