How to Install and Uninstall depqbf Package on Ubuntu 21.10 (Impish Indri)

Last updated: May 09,2024

1. Install "depqbf" package

This tutorial shows how to install depqbf on Ubuntu 21.10 (Impish Indri)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                depqbf
            
                    
    
    Copied

2. Uninstall "depqbf" package

Learn how to uninstall depqbf on Ubuntu 21.10 (Impish Indri):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                depqbf
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the depqbf package on Ubuntu 21.10 (Impish Indri)

Package: depqbf
Architecture: amd64
Version: 5.01-3
Priority: extra
Section: universe/interpreters
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 674
Depends: libc6 (>= 2.14)
Filename: pool/universe/d/depqbf/depqbf_5.01-3_amd64.deb
Size: 136700
MD5sum: c57eff337b08c2d67aa29305d59f016f
SHA1: c958f8eb6dd955cabdb3eff84b2927b3ccdb3820
SHA256: 8f2d715d6cdbbb2c9c519997a7964e4c2486f3e34a6226c5c84b06e48dc51d9c
SHA512: c7badb6e43a99e3966d88330e00d790a0abfd009914f00e915e18fb09f9d5723e761e044b20dbb12036da610c9128b8fcfe3440e7ee0c08aacf5055c56036e1f
Homepage: https://lonsing.github.io/depqbf/
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