How to Install and Uninstall sat4j Package on Debian 12 (Bookworm)

Last updated: December 23,2024

You can also install and uninstall the sat4j on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "sat4j" package

This guide covers the steps necessary to install sat4j on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                sat4j
            
                    
    
    Copied

2. Uninstall "sat4j" package

This is a short guide on how to uninstall sat4j on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                sat4j
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the sat4j package on Debian 12 (Bookworm)

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)
Description: Efficient library of SAT solvers in Java
Description-md5: 57ffc6bb7b4780cfe1d0a28863feef41
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
Size: 562056
MD5sum: 0ad07eb32d4743a2dc1ac5d44003c109
SHA256: b5ee112842ee4550f75d0b2a9df354112fead3b1652bbbde4233e2831152e192