How to Install and Uninstall science-logic Package on Kali Linux

Last updated: May 13,2024

1. Install "science-logic" package

This guide let you learn how to install science-logic on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                science-logic
            
                    
    
    Copied

2. Uninstall "science-logic" package

Learn how to uninstall science-logic on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                science-logic
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the science-logic package on Kali Linux

Package: science-logic
Source: debian-science
Version: 1.14.5
Installed-Size: 31
Maintainer: Debian Science Team
Architecture: all
Depends: science-config (= 1.14.5), science-tasks (= 1.14.5)
Recommends: agda, boolector, clasp, coinor-cbc, coinor-symphony, coq, cvc4, depqbf, gringo, hol-light, hol88, lbt, maria, maude, minisat+, mona, picosat, proofgeneral, sat4j, spass, toulbar2, why3, z3
Suggests: alt-ergo, coala, coinor-libcoinmp-dev, cvc3, mace2, matita, prover9, why
Size: 10400
SHA256: 5ad3f1e9c6bf962b37a369ce638ce3e862c8021f79590c11bbefde7f44a54a96
SHA1: aa84d42e31c91209a31452f65673f744543f530c
MD5sum: 2466b0a4e93b535b89c2e5e99d878ab7
Description: Debian Science Logic packages
This metapackage is part of the Debian Pure Blend "Debian Science"
and installs packages related to Computational Logic. It contains
formula transformation tools, solvers for formulas specified in
various logics, interactive proof systems, etc.
Description-md5:
Homepage: https://wiki.debian.org/DebianScience/
Section: metapackages
Priority: optional
Filename: pool/main/d/debian-science/science-logic_1.14.5_all.deb