How to Install and Uninstall science-logic Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: November 22,2024

1. Install "science-logic" package

Please follow the step by step instructions below to install science-logic on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                science-logic
            
                    
    
    Copied

2. Uninstall "science-logic" package

Here is a brief guide to show you how to uninstall science-logic on Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                science-logic
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the science-logic package on Ubuntu 20.10 (Groovy Gorilla)

Package: science-logic
Architecture: all
Version: 1.13ubuntu1
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: 41
Depends: science-config (= 1.13ubuntu1), science-tasks (= 1.13ubuntu1)
Recommends: agda, alt-ergo, boolector, clasp, coinor-cbc, coinor-symphony, coq, cvc4, depqbf, gringo, hol-light, hol88, lbt, maria, matita, maude, minisat+, mona, picosat, proofgeneral, sat4j, spass, toulbar2, why3, z3
Suggests: coala, coinor-libcoinmp-dev, cvc3, mace2, prover9, why
Filename: pool/universe/d/debian-science/science-logic_1.13ubuntu1_all.deb
Size: 3984
MD5sum: 17d07d296aa4a630a3b6a8dabf0c6c26
SHA1: fc702b3870b3f584047a2ead71a3cb3c9d2041fb
SHA256: 780206f99dd20b25e426f4a965679dbb77f8d15dfd9bbe158fb41d78a2ed577f
SHA512: 722d359190cf600d2d85e1d665eeb7dfad6a183f5239c147ac0de9fe1b800a5e5a2db116b4a6bdb00b587ba40ce38585525e0c474f96a5ec5fd7a2962c2ba0ea
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