How to Install and Uninstall prover9 Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: November 26,2024

1. Install "prover9" package

This guide let you learn how to install prover9 on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                prover9
            
                    
    
    Copied

2. Uninstall "prover9" package

Learn how to uninstall prover9 on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                prover9
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the prover9 package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: prover9
Architecture: amd64
Version: 0.0.200911a-2.1build1
Priority: optional
Section: universe/math
Source: ladr
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian QA Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 277
Depends: libc6 (>= 2.11), libladr4 (>= 0.0.200911a-1)
Suggests: ladr4-apps (= 0.0.200911a-2.1build1), prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b)
Filename: pool/universe/l/ladr/prover9_0.0.200911a-2.1build1_amd64.deb
Size: 77772
MD5sum: 390338f03f9d732976dbd02ffffaff71
SHA1: 5a7b8389c1f5820b1cfa5eb416c9dfd48f61863f
SHA256: b471c0333878718ec8178cfda7ba7dd357087d9847c6fad0abc29617067d90dd
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Description: theorem prover and countermodel generator
Description-md5: c442e7a696a012e3623fe548e18e8471