How to Install and Uninstall depqbf Package on Kali Linux

Last updated: May 20,2024

1. Install "depqbf" package

Learn how to install depqbf on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                depqbf
            
                    
    
    Copied

2. Uninstall "depqbf" package

Here is a brief guide to show you how to uninstall depqbf on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                depqbf
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the depqbf package on Kali Linux

Package: depqbf
Version: 5.01-3
Installed-Size: 674
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libc6 (>= 2.14)
Size: 138268
SHA256: 57f606ca724c402f29b0b3d3f74bde82e83ebbd5f40dd1ed4040224a93ddb2fe
SHA1: a43961a96f2c7741bd43a3405286bcb6ca5e339b
MD5sum: 88d75873de473db60d539f8590589e5a
Description: 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:
Homepage: https://lonsing.github.io/depqbf/
Section: interpreters
Priority: optional
Filename: pool/main/d/depqbf/depqbf_5.01-3_amd64.deb