How to Install and Uninstall spass Package on Ubuntu 21.10 (Impish Indri)

Last updated: May 13,2024

1. Install "spass" package

Learn how to install spass on Ubuntu 21.10 (Impish Indri)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                spass
            
                    
    
    Copied

2. Uninstall "spass" package

Here is a brief guide to show you how to uninstall spass on Ubuntu 21.10 (Impish Indri):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                spass
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the spass package on Ubuntu 21.10 (Impish Indri)

Package: spass
Architecture: amd64
Version: 3.9-1.1
Priority: optional
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 770
Depends: libc6 (>= 2.14)
Filename: pool/universe/s/spass/spass_3.9-1.1_amd64.deb
Size: 295864
MD5sum: 060f496783014c0ecd0ebdc8f37b0d4c
SHA1: da3b5557228e8fdae5c9f3b1cdb24f138496c733
SHA256: ec0687747ff745c90be09d3a12e2afabfdaee3a340be6ee0622483f1e4ccbf20
SHA512: cacc937a9679c3ab3c153e375796d56f24e9d4c84b6c786c411365040e65f7656b2a493bcb2c3d32ea320db721d8bccb32b4cd3d67346b4af6de95f187966fb0
Homepage: http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/classic-spass-theorem-prover/
Description-en: automated theorem prover for first-order logic with equality
SPASS is a saturation-based automated theorem prover for first-order logic with
equality. It is unique due to the combination of the superposition calculus
with specific inference/reduction rules for sorts (types) and a splitting rule
for case analysis motivated by the beta-rule of analytic tableaux and the case
analysis employed in the Davis-Putnam procedure. Furthermore, SPASS provides a
sophisticated clause normal form translation.
.
This package consists of the SPASS/FLOTTER binary, documentation, and a small
example collection. The tools collections contain the proof checker pcs, the
syntax translators dfg2otter and dfg2tptp, and the ASCII pretty printer
dfg2ascii.
Description-md5: bc89b2923428eac81fa58fc7ea00984e