Complete Guide: Installing ladr4-apps on Ubuntu 16.04 LTS (Xenial Xerus) 2024

1. Install "ladr4-apps" package

Here is a brief guide to show you how to install ladr4-apps on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                ladr4-apps
            
                    
    
    Copied

2. Uninstall "ladr4-apps" package

This is a short guide on how to uninstall ladr4-apps on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                ladr4-apps
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the ladr4-apps package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: ladr4-apps
Priority: optional
Section: universe/math
Installed-Size: 926
Maintainer: Ubuntu Developers
Original-Maintainer: Debian QA Group
Architecture: amd64
Source: ladr
Version: 0.0.200911a-2.1
Depends: libc6 (>= 2.11), libladr4 (>= 0.0.200902a), python
Recommends: prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b)
Filename: pool/universe/l/ladr/ladr4-apps_0.0.200911a-2.1_amd64.deb
Size: 128600
MD5sum: f64bda3a3b514e6bb89e26335e8dcc1f
SHA1: c143174f553ae5ab0fab160e7ff9bb7a0bec75be
SHA256: 3158521a7c30e7d1da730a90d9b4446f87b656ea954702b7e3a7bb1a99a18bed
Description-en: the LADR deduction library, miscellaneous applications
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.
.
This package provides miscellaneous LADR applications.
Description-md5: ce715083ec65b9f70befbb37125c836f
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu