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

Last updated: April 29,2024

1. Install "eqp.x86_64" package

In this section, we are going to explain the necessary steps to install eqp.x86_64 on Fedora 36


    
        
            $
        

        
            
                sudo dnf update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo dnf install
            
                        
                eqp.x86_64
            
                    
    
    Copied

2. Uninstall "eqp.x86_64" package

Here is a brief guide to show you how to uninstall eqp.x86_64 on Fedora 36:


    
        
            $
        

        
            
                sudo dnf remove
            
                        
                eqp.x86_64
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo dnf autoremove
            
                    
    
    Copied

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

Last metadata expiration check: 2:06:51 ago on Thu Sep 8 02:05:26 2022.
Available Packages
Name : eqp
Version : 09e
Release : 18.fc36
Architecture : x86_64
Size : 94 k
Source : eqp-09e-18.fc36.src.rpm
Repository : fedora
Summary : Automated theorem prover for first-order equational logic
URL : http://www.cs.unm.edu/~mccune/eqp/
License : Public Domain
Description : EQP is an automated theorem proving program for first-order equational
: logic. Its strengths are good implementations of associative-commutative
: unification and matching, a variety of strategies for equational
: reasoning, and fast search. It seems to perform well on many
: problems about lattice-like structures.
:
: EQP is not a stable and polished production theorem prover like Otter
: or Prover9. Since it has obtained several interesting results, it was
: decided to make it available (including the source code) to everyone, with
: no restrictions (and of course no warranty either). EQP's documentation
: is not great, but if you already know Otter, you probably will not have
: great difficulty in learning to use EQP.
:
: In the early 1930's, it was postulated that every Robbin's Algebra,
: (named after Herbert Ellis Robbins), must also be a Boolean Algebra. Many
: human mathematicians attempted to find a proof, or a counter-example
: of this conjecture, but failed. The EQP automated theorem prover
: (and its author William McCune) made history by providing the first
: known proof in 1996. The EQP input files for proving Robbin's
: Conjecture can be found in the package documentation directory
: /usr/share/doc/eqp-09e/examples/robbins/