How to Install and Uninstall sat4j Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: November 25,2024

1. Install "sat4j" package

Please follow the steps below to install sat4j on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                sat4j
            
                    
    
    Copied

2. Uninstall "sat4j" package

Please follow the guidelines below to uninstall sat4j on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                sat4j
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the sat4j package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: sat4j
Architecture: all
Version: 2.3.5-0.2
Priority: extra
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 668
Depends: default-jre | java5-runtime | java6-runtime | java7-runtime | java8-runtime, jarwrapper (>= 0.5), libcommons-cli-java
Breaks: eclipse-platform (<= 3.5.2-5)
Filename: pool/universe/s/sat4j/sat4j_2.3.5-0.2_all.deb
Size: 542652
MD5sum: 45035b3963bab17190d9054b072ba76b
SHA1: b93e20a0f61b1c5a7f54c5cda732aba7026eec8c
SHA256: a5e6e6f76f760b9a6ae29eb7c76f10332841d3b10565cbc453d40f03010f21e1
Homepage: http://www.sat4j.org
Description: Efficient library of SAT solvers in Java
Description-md5: 57ffc6bb7b4780cfe1d0a28863feef41