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

Last updated: November 07,2024

1. Install "otter" package

This is a short guide on how to install otter on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                otter
            
                    
    
    Copied

2. Uninstall "otter" package

Please follow the step by step instructions below to uninstall otter on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                otter
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: otter
Priority: optional
Section: universe/math
Installed-Size: 1292
Maintainer: Ubuntu Developers
Original-Maintainer: Peter Collingbourne
Architecture: amd64
Version: 3.3f-1.1
Depends: libc6 (>= 2.7)
Recommends: perl, c-shell, mace2
Suggests: formed
Filename: pool/universe/o/otter/otter_3.3f-1.1_amd64.deb
Size: 770304
MD5sum: 103d4f843cd23e9bff516b18c4ec61b9
SHA1: 648ab6adbe7b835b5bdb150f87e978d683d8e51d
SHA256: 1deb384740c328690e0415338c0d0ee2cc646665e0f4312f2c4ed0a0ba29f761
Description-en: resolution-style theorem prover
OTTER is an automated theorem prover for equational logic developed
at Argonne National Laboratory.
.
OTTER's inference rules are based on resolution and paramodulation,
and it includes facilities for term rewriting, term orderings,
Knuth-Bendix completion, weighting, and strategies for directing and
restricting searches for proofs. OTTER can also be used as a symbolic
calculator and has an embedded equational programming system.
Description-md5: 9377d17015337e1e1d1a0fee8b1cd794
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu