How to Install and Uninstall drat-trim.x86_64 Package on Fedora 36

Last updated: December 28,2024

1. Install "drat-trim.x86_64" package

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


    
        
            $
        

        
            
                sudo dnf update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo dnf install
            
                        
                drat-trim.x86_64
            
                    
    
    Copied

2. Uninstall "drat-trim.x86_64" package

This tutorial shows how to uninstall drat-trim.x86_64 on Fedora 36:


    
        
            $
        

        
            
                sudo dnf remove
            
                        
                drat-trim.x86_64
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo dnf autoremove
            
                    
    
    Copied

3. Information about the drat-trim.x86_64 package on Fedora 36

Last metadata expiration check: 1:00:13 ago on Thu Sep 8 02:05:26 2022.
Available Packages
Name : drat-trim
Version : 0
Release : 0.16.20220423git43fce1c.fc36
Architecture : x86_64
Size : 32 k
Source : drat-trim-0-0.16.20220423git43fce1c.fc36.src.rpm
Repository : updates
Summary : Proof checker for DIMACS proofs
URL : https://github.com/marijnheule/drat-trim
License : MIT
Description : The proof checker DRAT-trim can be used to check whether a
: propositional formula in the DIMACS format is unsatisfiable. Given a
: propositional formula and a clausal proof, DRAT-trim validates that the
: proof is a certificate of unsatisfiability of the formula. Clausal
: proofs should be in the DRAT format which is used to validate the
: results of the SAT competitions.