How to Install and Uninstall science-logic Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: May 15,2024

1. Install "science-logic" package

Please follow the instructions below to install science-logic on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                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 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                science-logic
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the science-logic package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: science-logic
Priority: extra
Section: universe/metapackages
Installed-Size: 32
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Team
Architecture: all
Source: debian-science
Version: 1.4ubuntu7
Depends: science-tasks (= 1.4ubuntu7), science-config (= 1.4ubuntu7)
Recommends: agda, alt-ergo, boolector, clasp, coala, coinor-cbc, coq, cvc3, depqbf, gringo, hol-light, hol88, lbt, mace2, maria, maude, minisat+, mona, otter, picosat, proofgeneral, prover9, sat4j, spass
Suggests: matita
Filename: pool/universe/d/debian-science/science-logic_1.4ubuntu7_all.deb
Size: 3916
MD5sum: c6ae03e8219841aab6500ac947d162d5
SHA1: 382885b30de7e14b6372b46131b2401add45d556
SHA256: 755a113bf28dc6ac36ff6eddc6cb575afe2c4a077e28e5a95806ac858e0bd2cd
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
Homepage: http://wiki.debian.org/DebianScience/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu