How to Install and Uninstall prover9 Package on Debian 10 (Buster)

Last updated: May 18,2024

1. Install "prover9" package

This is a short guide on how to install prover9 on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                prover9
            
                    
    
    Copied

2. Uninstall "prover9" package

In this section, we are going to explain the necessary steps to uninstall prover9 on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                prover9
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the prover9 package on Debian 10 (Buster)

Package: prover9
Source: ladr (0.0.200911a-2.1)
Version: 0.0.200911a-2.1+b2
Installed-Size: 303
Maintainer: Debian QA Group
Architecture: amd64
Depends: libc6 (>= 2.7), libladr4 (>= 0.0.200911a-1)
Suggests: ladr4-apps (= 0.0.200911a-2.1+b2), prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b)
Description: theorem prover and countermodel generator
Description-md5: c442e7a696a012e3623fe548e18e8471
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Section: math
Priority: optional
Filename: pool/main/l/ladr/prover9_0.0.200911a-2.1+b2_amd64.deb
Size: 102844
MD5sum: 9615e4c10f185703dc144574fc578d3d
SHA256: 334f2f18f7f795d7352898cf2ac4db57a3701d390714cfd6a9e673fe59e9a533