How to Install and Uninstall cvc4.x86_64 Package on Fedora 34

Last updated: June 29,2024

1. Install "cvc4.x86_64" package

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


    
        
            $
        

        
            
                sudo dnf update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo dnf install
            
                        
                cvc4.x86_64
            
                    
    
    Copied

2. Uninstall "cvc4.x86_64" package

Please follow the guidelines below to uninstall cvc4.x86_64 on Fedora 34:


    
        
            $
        

        
            
                sudo dnf remove
            
                        
                cvc4.x86_64
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo dnf autoremove
            
                    
    
    Copied

3. Information about the cvc4.x86_64 package on Fedora 34

Last metadata expiration check: 4:07:31 ago on Tue Sep 6 08:10:37 2022.
Available Packages
Name : cvc4
Version : 1.8
Release : 5.fc34
Architecture : x86_64
Size : 93 k
Source : cvc4-1.8-5.fc34.src.rpm
Repository : updates
Summary : Automatic theorem prover for SMT problems
URL : https://cvc4.github.io/
License : Boost and BSD and MIT
Description : CVC4 is an efficient open-source automatic theorem prover for
: satisfiability modulo theories (SMT) problems. It can be used to prove
: the validity (or, dually, the satisfiability) of first-order formulas in
: a large number of built-in logical theories and their combination.
:
: CVC4 is the fourth in the Cooperating Validity Checker family of tools
: (CVC, CVC Lite, CVC3) but does not directly incorporate code from any
: previous version. A joint project of NYU and U Iowa, CVC4 aims to
: support the features of CVC3 and SMT-LIBv2 while optimizing the design
: of the core system architecture and decision procedures to take
: advantage of recent engineering and algorithmic advances.
:
: CVC4 is intended to be an open and extensible SMT engine, and it can be
: used as a stand-alone tool or as a library, with essentially no limit on
: its use for research or commercial purposes.