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

Last updated: November 22,2024

1. Install "sat4j" package

Please follow the step by step instructions below to install sat4j on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                sat4j
            
                    
    
    Copied

2. Uninstall "sat4j" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                sat4j
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: sat4j
Priority: extra
Section: universe/science
Installed-Size: 1323
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Architecture: all
Version: 2.3.3-1
Depends: default-jre | java5-runtime | java6-runtime | java7-runtime, jarwrapper (>= 0.5), libcommons-cli-java
Breaks: eclipse-platform (<= 3.5.2-5)
Filename: pool/universe/s/sat4j/sat4j_2.3.3-1_all.deb
Size: 393016
MD5sum: f1a5581c66e8f7eb91fcf607845a9458
SHA1: c640417c994d4217ed10bee980da20c40a498222
SHA256: 348f073cb99ecbccaf01210b7c19b9d253edd8a8b76227482d31ca973336d4b1
Description-en: Efficient library of SAT solvers in Java
The aim of the SAT4J library is to provide an efficient library of SAT solvers
in Java. Compared to the OpenSAT project, the SAT4J library targets first
users of SAT "black boxes", willing to embed SAT technologies into their
application without worrying about the details. The SAT4J project also tries
to provide a basis of work for SAT researchers.
Description-md5: 57ffc6bb7b4780cfe1d0a28863feef41
Homepage: http://www.sat4j.org
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu