How to Install and Uninstall cvc5.x86_64 Package on Fedora 39

Last updated: January 17,2025

1. Install "cvc5.x86_64" package

Learn how to install cvc5.x86_64 on Fedora 39


    
        
            $
        

        
            
                sudo dnf update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo dnf install
            
                        
                cvc5.x86_64
            
                    
    
    Copied

2. Uninstall "cvc5.x86_64" package

Please follow the steps below to uninstall cvc5.x86_64 on Fedora 39:


    
        
            $
        

        
            
                sudo dnf remove
            
                        
                cvc5.x86_64
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo dnf autoremove
            
                    
    
    Copied

3. Information about the cvc5.x86_64 package on Fedora 39

Last metadata expiration check: 4:26:18 ago on Thu Mar 7 11:44:58 2024.
Available Packages
Name : cvc5
Version : 1.1.1
Release : 1.fc39
Architecture : x86_64
Size : 123 k
Source : cvc5-1.1.1-1.fc39.src.rpm
Repository : updates
Summary : Automatic theorem prover for SMT problems
URL : https://cvc5.github.io/
License : BSD-3-Clause AND MIT
Description : CVC5 is a tool for determining the satisfiability of a first order
: formula modulo a first order theory (or a combination of such theories).
: It is the fifth in the Cooperating Validity Checker family of tools
: (CVC, CVC Lite, CVC3, CVC4) but does not directly incorporate code from
: any previous version prior to CVC4.
:
: CVC5 is intended to be an open and extensible SMT engine. It can be
: used as a stand-alone tool or as a library. It has been designed to
: increase the performance and reduce the memory overhead of its
: predecessors.