How to Install and Uninstall sat4j Package on Kali Linux

Last updated: November 22,2024

1. Install "sat4j" package

Please follow the guidance below to install sat4j on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                sat4j
            
                    
    
    Copied

2. Uninstall "sat4j" package

Please follow the instructions below to uninstall sat4j on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                sat4j
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the sat4j package on Kali Linux

Package: sat4j
Version: 2.3.5-0.3
Installed-Size: 687
Maintainer: Michael Tautschnig
Architecture: all
Depends: default-jre | java7-runtime | java8-runtime | java9-runtime | java10-runtime | java11-runtime, jarwrapper (>= 0.5), libcommons-cli-java
Breaks: eclipse-platform (<= 3.5.2-5)
Size: 562056
SHA256: b5ee112842ee4550f75d0b2a9df354112fead3b1652bbbde4233e2831152e192
SHA1: 41c21132f9be62f5d2da8bfb9472e9e238128c44
MD5sum: 0ad07eb32d4743a2dc1ac5d44003c109
Description: 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:
Homepage: http://www.sat4j.org
Tag: field::mathematics, implemented-in::java, role::program,
role::shared-lib
Section: science
Priority: optional
Filename: pool/main/s/sat4j/sat4j_2.3.5-0.3_all.deb