How to Install and Uninstall sat4j Package on openSuSE Tumbleweed

Last updated: May 18,2024

1. Install "sat4j" package

Please follow the instructions below to install sat4j on openSuSE Tumbleweed


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                sat4j
            
                    
    
    Copied

2. Uninstall "sat4j" package

Here is a brief guide to show you how to uninstall sat4j on openSuSE Tumbleweed:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                sat4j
            
                    
    
    Copied

3. Information about the sat4j package on openSuSE Tumbleweed

Information for package sat4j:
------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : sat4j
Version : 2.3.5-4.1
Arch : noarch
Vendor : openSUSE
Installed Size : 581.9 KiB
Installed : No
Status : not installed
Source package : sat4j-2.3.5-4.1.src
Upstream URL : https://www.sat4j.org/
Summary : A library of SAT solvers written in Java
Description :
The aim of the SAT4J library is to provide an efficient library of SAT
solvers in Java. The SAT4J library targets first users of SAT "black
boxes", those willing to embed SAT technologies into their application
without worrying about the details.