How to Install and Uninstall mace2 Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: November 26,2024

1. Install "mace2" package

In this section, we are going to explain the necessary steps to install mace2 on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                mace2
            
                    
    
    Copied

2. Uninstall "mace2" package

This is a short guide on how to uninstall mace2 on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                mace2
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the mace2 package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: mace2
Priority: optional
Section: universe/math
Installed-Size: 1137
Maintainer: Ubuntu Developers
Original-Maintainer: Peter Collingbourne
Architecture: amd64
Source: otter
Version: 3.3f-1.1
Depends: libc6 (>= 2.7)
Recommends: perl, c-shell, otter
Suggests: swi-prolog | gprolog
Filename: pool/universe/o/otter/mace2_3.3f-1.1_amd64.deb
Size: 548314
MD5sum: a519e653fbb387e4532a113cb09ae723
SHA1: f2d93036092b4d6a368da74fae2f88ad8755e857
SHA256: 4574930d175551fd973338b1e9f40e95833737d109ff87a10eaa7dba87dd0678
Description-en: program that searches for finite models of first-order statements
MACE is a program that searches for finite models of first-order and
equational statements developed at Argonne National Laboratory.
.
This package includes ANLDP, which calls the propositional decision
procedure at the core of MACE directly.
.
MACE serves as a complementary companion to OTTER, which
searches for refutations of the same class of statement. In
particular, if you have a first-order conjecture, OTTER will search
for a proof, and MACE will search for a counterexample from the same
input file.
Description-md5: 3fb8ffe281a2180d32adc0294cc3bc8d
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu