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

Last updated: May 17,2024

1. Install "minisat" package

This guide let you learn how to install minisat on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                minisat
            
                    
    
    Copied

2. Uninstall "minisat" package

Here is a brief guide to show you how to uninstall minisat on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                minisat
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: minisat+
Priority: extra
Section: universe/science
Installed-Size: 419
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Architecture: amd64
Version: 1.0-2
Depends: libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libgmp10, libstdc++6 (>= 4.1.1)
Filename: pool/universe/m/minisat+/minisat+_1.0-2_amd64.deb
Size: 180538
MD5sum: c87ecc993c19adbe65ef67c4a4bec864
SHA1: 1ed40f3455a956eea61dba522051b1171a5d0523
SHA256: 90d9a24729a553536486c1ad0a7a5bdc8d20eb295545f2e39a32c39f4f64b522
Description-en: solver for pseudo-Boolean constraints
MinSat+ is a solver for Pseudo-Boolean Optimization (AKA 0-1
integer programming) that is based on the MiniSat SAT-solver. It
supports optimizing a linear objective function, subject to a set
of linear constraints. The variables of the objective function
and constraints are boolean, i.e. required to be 0 or
1. Pseudo-Boolean optimization can be used to solve many kinds of
combinatorial optimization problems. This version of Minisat+ is
compiled with bignum support for constraint coefficients.
Description-md5: 5abc23f5b2ba8e7a876d2a8e3bf6dfdb
Homepage: http://minisat.se/MiniSat+.html
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu