How to Install and Uninstall depqbf Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: November 26,2024

1. Install "depqbf" package

Learn how to install depqbf on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                depqbf
            
                    
    
    Copied

2. Uninstall "depqbf" package

Please follow the guidelines below to uninstall depqbf on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                depqbf
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the depqbf package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: depqbf
Priority: extra
Section: universe/interpreters
Installed-Size: 657
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Architecture: amd64
Version: 5.0-1
Depends: libc6 (>= 2.14)
Filename: pool/universe/d/depqbf/depqbf_5.0-1_amd64.deb
Size: 137488
MD5sum: 5a1d923ea97451974d6e4132eef46440
SHA1: 6b29384c69b6cb553e6c02b0fbafc78696b0c713
SHA256: 40c609800198fcfc7b61eb046fe5e02e61109a1785739ceab89cd29d9264beec
Description-en: solver for quantified boolean formulae
DepQBF is a search-based solver for quantified boolean formulae (QBF)
in prenex conjunctive normal form. It is based on the DPLL algorithm
for QBF, called QDPLL, with conflict-driven clause and solution-driven
cube learning. By analyzing the syntactic structure of a formula,
DepQBF tries to identify independent variables. In general, information
on independent variables can be represented in the formal framework of
dependency schemes. DepQBF computes the so-called "standard dependency
scheme" of a given formula. In addition to other benefits, information
on independent variables often increases the freedom for decision
making and clause learning.
Description-md5: 800bcc7a2bdea9545c4c8eb5c65df5f0
Homepage: http://lonsing.github.com/depqbf/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu