How to Install and Uninstall sat4j Package on openSUSE Leap

Last updated: May 18,2024

1. Install "sat4j" package

Learn how to install sat4j on openSUSE Leap


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                sat4j
            
                    
    
    Copied

2. Uninstall "sat4j" package

Please follow the guidance below to uninstall sat4j on openSUSE Leap:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                sat4j
            
                    
    
    Copied

3. Information about the sat4j package on openSUSE Leap

Information for package sat4j:
------------------------------
Repository : Main Repository
Name : sat4j
Version : 2.3.5-150200.3.4.4
Arch : noarch
Vendor : SUSE LLC
Installed Size : 572.6 KiB
Installed : No
Status : not installed
Source package : sat4j-2.3.5-150200.3.4.4.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.