How to Install and Uninstall E.x86_64 Package on Fedora 36

Last updated: May 21,2024

1. Install "E.x86_64" package

Please follow the step by step instructions below to install E.x86_64 on Fedora 36


    
        
            $
        

        
            
                sudo dnf update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo dnf install
            
                        
                E.x86_64
            
                    
    
    Copied

2. Uninstall "E.x86_64" package

Please follow the step by step instructions below to uninstall E.x86_64 on Fedora 36:


    
        
            $
        

        
            
                sudo dnf remove
            
                        
                E.x86_64
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo dnf autoremove
            
                    
    
    Copied

3. Information about the E.x86_64 package on Fedora 36

Last metadata expiration check: 3:18:18 ago on Thu Sep 8 08:04:50 2022.
Available Packages
Name : E
Version : 2.6
Release : 3.fc36
Architecture : x86_64
Size : 1.5 M
Source : E-2.6-3.fc36.src.rpm
Repository : fedora
Summary : Equational Theorem Prover
URL : http://www.eprover.org/
License : GPLv2+ or LGPLv2+
Description : E is a purely equational theorem prover for full first-order logic.
: That means it is a program that you can stuff a mathematical
: specification (in first-order format) and a hypothesis into, and which
: will then run forever, using up all of your machines' resources. Very
: occasionally it will find a proof for the hypothesis and tell you so.
:
: E's inference core is based on a modified version of the superposition
: calculus for equational clausal logic. Both clausification and
: reasoning on the clausal form can be documented in checkable proof
: objects.
:
: E was the best-performing open source software prover in the 2008 CADE
: ATP System Competition (CASC) in the FOF, CNF, and UEQ divisions. In
: the 2011 competition, it won second place in the FOF division, and
: placed highly in CNF and UEQ.