How to Install and Uninstall science-logic Package on Ubuntu 21.10 (Impish Indri)

Last updated: May 16,2024

1. Install "science-logic" package

Please follow the instructions below to install science-logic on Ubuntu 21.10 (Impish Indri)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                science-logic
            
                    
    
    Copied

2. Uninstall "science-logic" package

This is a short guide on how to uninstall science-logic on Ubuntu 21.10 (Impish Indri):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                science-logic
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the science-logic package on Ubuntu 21.10 (Impish Indri)

Package: science-logic
Architecture: all
Version: 1.14.2ubuntu1
Priority: extra
Section: universe/metapackages
Source: debian-science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 42
Depends: science-config (= 1.14.2ubuntu1), science-tasks (= 1.14.2ubuntu1)
Recommends: agda, alt-ergo, 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: coala, coinor-libcoinmp-dev, cvc3, mace2, matita, prover9, why
Filename: pool/universe/d/debian-science/science-logic_1.14.2ubuntu1_all.deb
Size: 4004
MD5sum: 2a042ebe9b6816b5e798df9784552ca7
SHA1: 25e2669c4f895b907d332f487f2eafb09aff671d
SHA256: 060683747510a8e50a25e450a67513f3f3f9b2f4a8b5869ab8f4dcdee632848a
SHA512: 8eab5fff41bf4c8a90bba8731a81d29589afba5f7134df6ea2cee3f1bcc13fa60e1a5ba7653075cb52b02b46c02d80b456898abf08d27e679d05feb88481362a
Homepage: https://wiki.debian.org/DebianScience/
Description-en: 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: 80226a1f4eed77145a13176d0af8c5dc